--- a/src/Pure/build-jars Wed Feb 13 12:42:59 2013 +0100
+++ b/src/Pure/build-jars Wed Feb 13 13:31:38 2013 +0100
@@ -16,6 +16,7 @@
General/exn.scala
General/file.scala
General/graph.scala
+ General/graphics_file.scala
General/linear_set.scala
General/path.scala
General/position.scala