src/Pure/build-jars

--- a/src/Pure/build-jars	Tue Apr 29 16:02:02 2014 +0200
+++ b/src/Pure/build-jars	Tue Apr 29 16:14:27 2014 +0200
@@ -81,6 +81,7 @@
   Thy/thy_header.scala
   Thy/thy_info.scala
   Thy/thy_syntax.scala
+  Tools/check_source.scala
   Tools/build.scala
   Tools/build_doc.scala
   Tools/doc.scala