--- a/src/Pure/build-jars Sat Jan 09 22:00:22 2016 +0100
+++ b/src/Pure/build-jars Sat Jan 09 22:22:17 2016 +0100
@@ -100,6 +100,7 @@
Tools/doc.scala
Tools/main.scala
Tools/ml_statistics.scala
+ Tools/news.scala
Tools/print_operation.scala
Tools/simplifier_trace.scala
Tools/task_statistics.scala