/* 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",
_ => generate_html(), admin = true)
}