--- a/src/Pure/build-jars Wed Oct 01 21:00:49 2014 +0200
+++ b/src/Pure/build-jars Thu Oct 02 11:54:30 2014 +0200
@@ -85,6 +85,7 @@
Thy/thy_info.scala
Thy/thy_structure.scala
Thy/thy_syntax.scala
+ Tools/bibtex.scala
Tools/build.scala
Tools/build_console.scala
Tools/build_doc.scala