--- a/src/Pure/Admin/other_isabelle.scala Sun Jan 22 21:22:51 2023 +0100
+++ b/src/Pure/Admin/other_isabelle.scala Sun Jan 22 21:52:58 2023 +0100
@@ -63,23 +63,6 @@
val etc_preferences: Path = etc + Path.explode("preferences")
- /* NEWS */
-
- def make_news(): Unit = {
- val doc_dir = isabelle_home + Path.explode("doc")
- val fonts_dir = Isabelle_System.make_directory(doc_dir + Path.explode("fonts"))
-
- Isabelle_Fonts.make_entries(getenv = getenv, hidden = true).
- foreach(entry => Isabelle_System.copy_file(entry.path, fonts_dir))
-
- HTML.write_document(doc_dir, "NEWS.html",
- List(HTML.title("NEWS")),
- List(
- HTML.chapter("NEWS"),
- HTML.source(Symbol.decode(File.read(isabelle_home + Path.explode("NEWS"))))))
- }
-
-
/* components */
def init_components(