src/Pure/build-jars

--- a/src/Pure/build-jars	Tue Jun 25 11:41:16 2013 +0200
+++ b/src/Pure/build-jars	Tue Jun 25 12:17:19 2013 +0200
@@ -41,7 +41,6 @@
   PIDE/yxml.scala
   System/color_value.scala
   System/command_line.scala
-  System/doc.scala
   System/event_bus.scala
   System/gui.scala
   System/gui_setup.scala
@@ -68,6 +67,7 @@
   Thy/thy_syntax.scala
   Tools/build.scala
   Tools/build_dialog.scala
+  Tools/doc.scala
   Tools/keywords.scala
   Tools/main.scala
   Tools/ml_statistics.scala