# HG changeset patch
# User wenzelm
# Date 1674424092 -3600
# Node ID f51b0b54b20b1b9656b8ef471c4fa2f1122f87b6
# Parent  a4380a2d6d2c06de0fcc69c95cd76499deb9db67
avoid odd suffix in published HTML library;

diff -r a4380a2d6d2c -r f51b0b54b20b src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Sun Jan 22 22:26:50 2023 +0100
+++ b/src/Pure/Admin/build_release.scala	Sun Jan 22 22:48:12 2023 +0100
@@ -47,9 +47,9 @@
     val isabelle_archive: Path = dist_dir + isabelle.tar.gz
     val isabelle_library_archive: Path = dist_dir + Path.explode(dist_name + "_library.tar.gz")
 
-    def other_isabelle(dir: Path): Other_Isabelle =
+    def other_isabelle(dir: Path, suffix: String = "-build"): Other_Isabelle =
       Other_Isabelle(dir + isabelle,
-        isabelle_identifier = dist_name + "-build",
+        isabelle_identifier = dist_name + suffix,
         progress = progress)
 
     def make_announce(id: String): Unit = {
@@ -850,7 +850,7 @@
             context.dist_dir + Path.explode(context.dist_name + "_" + Platform.family + ".tar.gz")
           execute_tar(tmp_dir, "-xzf " + File.bash_path(bundle))
 
-          val other_isabelle = context.other_isabelle(tmp_dir)
+          val other_isabelle = context.other_isabelle(tmp_dir, suffix = "")
 
           Isabelle_System.make_directory(other_isabelle.etc)
           File.write(other_isabelle.etc_settings, "ML_OPTIONS=\"--minheap 1000 --maxheap 4000\"\n")