--- a/src/Pure/build-jars Sat Aug 13 12:05:53 2016 +0200
+++ b/src/Pure/build-jars Sat Aug 13 12:06:11 2016 +0200
@@ -102,6 +102,7 @@
Tools/bibtex.scala
Tools/build.scala
Tools/build_doc.scala
+ Tools/build_stats.scala
Tools/check_keywords.scala
Tools/check_sources.scala
Tools/ci_api.scala