# HG changeset patch
# User wenzelm
# Date 1620153609 -7200
# Node ID 0732f66ce514c5d24cfe68140bcfa3f41003e476
# Parent  f8f065e208377ab62a5cb687db2bb5cd3318bd19
more website content;

diff -r f8f065e20837 -r 0732f66ce514 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)
+      }
     }