src/Pure/Admin/news.scala

--- a/src/Pure/Admin/news.scala	Mon Oct 24 14:05:22 2016 +0200
+++ b/src/Pure/Admin/news.scala	Mon Oct 24 14:10:53 2016 +0200
@@ -32,8 +32,6 @@
   /* Isabelle tool wrapper */
 
   val isabelle_tool =
-    Isabelle_Tool("news", "generate HTML version of the NEWS file", args =>
-    {
-      Command_Line.tool0 { generate_html() }
-    }, admin = true)
+    Isabelle_Tool("news", "generate HTML version of the NEWS file",
+      _ => generate_html(), admin = true)
 }