more website content;
authorwenzelm
Tue, 04 May 2021 20:40:09 +0200
changeset 73882 0732f66ce514
parent 73881 f8f065e20837
child 73883 27659455c592
more website content;
src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue May 04 20:02:08 2021 +0200
+++ b/src/Pure/Admin/build_release.scala	Tue May 04 20:40:09 2021 +0200
@@ -757,16 +757,20 @@
         List(HTML.title(context.dist_name)),
         List(
           HTML.section(context.dist_name),
-          HTML.subsection("Platforms"),
+          HTML.subsection("Downloads"),
           HTML.itemize(
+            List(HTML.link(context.dist_name + ".tar.gz", HTML.text("Source archive"))) ::
             website_platform_bundles.map({ case (bundle, bundle_info) =>
-              List(HTML.link(bundle, HTML.text(bundle_info.platform_description))) })),
+              List(HTML.link(bundle, HTML.text(bundle_info.platform_description + " bundle"))) })),
           HTML.subsection("Repositories"),
           HTML.itemize(
             List(List(isabelle_link)) ::: (if (afp_rev == "") Nil else List(List(afp_link))))))
 
-      for ((bundle, _) <- website_platform_bundles)
+      Isabelle_System.copy_file(context.isabelle_archive, dir)
+
+      for ((bundle, _) <- website_platform_bundles) {
         Isabelle_System.copy_file(context.dist_dir + Path.explode(bundle), dir)
+      }
     }