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