--- a/src/Pure/build-jars Wed Apr 01 13:32:32 2015 +0200
+++ b/src/Pure/build-jars Wed Apr 01 15:41:08 2015 +0200
@@ -92,6 +92,7 @@
Tools/build.scala
Tools/build_console.scala
Tools/build_doc.scala
+ Tools/check_keywords.scala
Tools/check_source.scala
Tools/doc.scala
Tools/main.scala