src/Pure/build-jars

--- a/src/Pure/build-jars	Sun Oct 21 14:35:46 2018 +0200
+++ b/src/Pure/build-jars	Sun Oct 21 18:32:33 2018 +0200
@@ -23,7 +23,6 @@
   Admin/isabelle_cronjob.scala
   Admin/isabelle_devel.scala
   Admin/jenkins.scala
-  Admin/news.scala
   Admin/other_isabelle.scala
   Admin/remote_dmg.scala
   Concurrent/consumer_thread.scala