diff -r 2f09dc0e6dda -r 96879e303ea3 src/Pure/Admin/other_isabelle.scala
--- 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(