# HG changeset patch
# User wenzelm
# Date 1477303296 -7200
# Node ID 6a9816764b3798dec329d2d8a2361a19cd3c4e27
# Parent  364d74ea985f9886ed8424a9b05a4ff8a12ab21a
proper Admin tool;

diff -r 364d74ea985f -r 6a9816764b37 Admin/lib/Tools/makedist
--- a/Admin/lib/Tools/makedist	Mon Oct 24 11:48:32 2016 +0200
+++ b/Admin/lib/Tools/makedist	Mon Oct 24 12:01:36 2016 +0200
@@ -199,7 +199,7 @@
 
 rm -rf Admin browser_info heaps
 
-./bin/isabelle java isabelle.NEWS
+./bin/isabelle news
 
 rmdir "$USER_HOME/.isabelle/${DISTNAME}-build"
 rmdir "$USER_HOME/.isabelle/${DISTNAME}"
diff -r 364d74ea985f -r 6a9816764b37 src/Pure/Admin/news.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Admin/news.scala	Mon Oct 24 12:01:36 2016 +0200
@@ -0,0 +1,39 @@
+/*  Title:      Pure/Admin/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)
+  }
+
+
+  /* Isabelle tool wrapper */
+
+  val isabelle_tool =
+    Isabelle_Tool("news", "generate HTML version of the NEWS file", args =>
+    {
+      Command_Line.tool0 { generate_html() }
+    }, admin = true)
+}
diff -r 364d74ea985f -r 6a9816764b37 src/Pure/System/isabelle_tool.scala
--- a/src/Pure/System/isabelle_tool.scala	Mon Oct 24 11:48:32 2016 +0200
+++ b/src/Pure/System/isabelle_tool.scala	Mon Oct 24 12:01:36 2016 +0200
@@ -105,6 +105,7 @@
       Check_Sources.isabelle_tool,
       Doc.isabelle_tool,
       ML_Process.isabelle_tool,
+      NEWS.isabelle_tool,
       Options.isabelle_tool,
       Profiling_Report.isabelle_tool,
       Remote_DMG.isabelle_tool,
diff -r 364d74ea985f -r 6a9816764b37 src/Pure/Tools/news.scala
--- a/src/Pure/Tools/news.scala	Mon Oct 24 11:48:32 2016 +0200
+++ /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() }
-  }
-}
diff -r 364d74ea985f -r 6a9816764b37 src/Pure/build-jars
--- a/src/Pure/build-jars	Mon Oct 24 11:48:32 2016 +0200
+++ b/src/Pure/build-jars	Mon Oct 24 12:01:36 2016 +0200
@@ -18,6 +18,7 @@
   Admin/ci_api.scala
   Admin/ci_profile.scala
   Admin/isabelle_cronjob.scala
+  Admin/news.scala
   Admin/other_isabelle.scala
   Admin/remote_dmg.scala
   Concurrent/consumer_thread.scala
@@ -127,7 +128,6 @@
   Tools/ml_console.scala
   Tools/ml_process.scala
   Tools/ml_statistics.scala
-  Tools/news.scala
   Tools/print_operation.scala
   Tools/profiling_report.scala
   Tools/simplifier_trace.scala