# HG changeset patch
# User wenzelm
# Date 1477229148 -7200
# Node ID cfe8d73946428c8893f60d14c3d0fc42b17e5583
# Parent 27739e1d7978891dbadb5efd2cad2afddae77a2e
modernized;
diff -r 27739e1d7978 -r cfe8d7394642 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala Sun Oct 23 15:24:10 2016 +0200
+++ b/src/Pure/Admin/build_release.scala Sun Oct 23 15:25:48 2016 +0200
@@ -120,24 +120,14 @@
Isabelle_System.mkdirs(dir)
File.write(dir + Path.explode("index.html"),
-"""
-
-
-""" + HTML.output(release_info.name) + """
-
+ HTML.output_document(
+ List(HTML.title(release_info.name)),
+ List(
+ HTML.chapter(release_info.name + " (" + release_id + ")"),
+ HTML.itemize(
+ website_platform_bundles.map({ case (a, b) =>
+ List(HTML.link(b, HTML.text(Word.capitalize(a)))) })))))
-
-""" + HTML.output(release_info.name + " (" + release_id + ")") + """
-
-
-
-
-""")
for ((_, b) <- website_platform_bundles)
File.copy(release_info.dist_dir + Path.explode(b), dir)
})