--- 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