diff -r 1acf2d76ac23 -r bc61161a5bd0 src/Pure/build-jars
--- a/src/Pure/build-jars	Sat Apr 05 22:37:17 2014 +0200
+++ b/src/Pure/build-jars	Sat Apr 05 23:17:30 2014 +0200
@@ -77,6 +77,7 @@
   Thy/thy_info.scala
   Thy/thy_syntax.scala
   Tools/build.scala
+  Tools/build_doc.scala
   Tools/doc.scala
   Tools/keywords.scala
   Tools/main.scala