diff -r 6694bd2b9b67 -r c1db9e3fe0e2 src/Pure/Tools/news.scala
--- a/src/Pure/Tools/news.scala	Mon Oct 24 14:32:07 2016 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,38 +0,0 @@
-/*  Title:      Pure/Tools/news.scala
-    Author:     Makarius
-
-Support for the NEWS file.
-*/
-
-package isabelle
-
-
-object NEWS
-{
-  /* generate HTML version */
-
-  def generate_html()
-  {
-    val target = Path.explode("~~/doc")
-
-    File.write(target + Path.explode("NEWS.html"),
-      HTML.begin_document("NEWS") +
-      "\n<div class=\"source\">\n<pre class=\"source\">" +
-      HTML.output(Symbol.decode(File.read(Path.explode("~~/NEWS")))) +
-      "</pre>\n" +
-      HTML.end_document)
-
-    for (font <- Path.split(Isabelle_System.getenv_strict("ISABELLE_FONTS")))
-      File.copy(font, target)
-
-    File.copy(Path.explode("~~/etc/isabelle.css"), target)
-  }
-
-
-  /* command line entry point */
-
-  def main(args: Array[String])
-  {
-    Command_Line.tool0 { generate_html() }
-  }
-}