--- a/src/Pure/build-jars Thu Jun 30 00:01:00 2011 +0200
+++ b/src/Pure/build-jars Thu Jun 30 00:09:57 2011 +0200
@@ -16,6 +16,7 @@
General/timing.scala
General/linear_set.scala
General/markup.scala
+ General/path.scala
General/position.scala
General/pretty.scala
General/scan.scala