src/Pure/build-jars
changeset 59891 9ce697050455
parent 59713 6da3efec20ca
child 60749 f727b99faaf7
--- 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