diff -r f8e24980af05 -r d93b849cbecd src/Pure/build-jars
--- a/src/Pure/build-jars	Fri May 21 18:10:19 2010 +0200
+++ b/src/Pure/build-jars	Fri May 21 20:10:45 2010 +0200
@@ -26,7 +26,6 @@
   General/exn.scala
   General/linear_set.scala
   General/markup.scala
-  General/output.scala
   General/position.scala
   General/pretty.scala
   General/scan.scala