--- a/src/Pure/build-jars Sat Jul 19 21:32:54 2014 +0200
+++ b/src/Pure/build-jars Sun Jul 20 17:21:14 2014 +0200
@@ -86,6 +86,7 @@
Tools/check_source.scala
Tools/build.scala
Tools/build_doc.scala
+ Tools/build_console.scala
Tools/doc.scala
Tools/keywords.scala
Tools/main.scala