diff -r 35d45feccbc6 -r 1ce1b19f78f4 src/Pure/build-jars
--- a/src/Pure/build-jars	Fri May 21 12:59:44 2010 +0200
+++ b/src/Pure/build-jars	Fri May 21 14:53:19 2010 +0200
@@ -26,6 +26,7 @@
   General/exn.scala
   General/linear_set.scala
   General/markup.scala
+  General/output.scala
   General/position.scala
   General/pretty.scala
   General/scan.scala