--- 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}"
--- /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)
+}
--- 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,
--- 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() }
- }
-}
--- 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