# HG changeset patch
# User wenzelm
# Date 1620240100 -7200
# Node ID 7c70f10e0b3b45b1960438a8f4ed0c0770bb8d72
# Parent  f17caa5002df2763268024da3d2439645832c524
tuned --- rename = dist_name is sufficient;

diff -r f17caa5002df -r 7c70f10e0b3b src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Wed May 05 20:37:49 2021 +0200
+++ b/src/Pure/Admin/build_release.scala	Wed May 05 20:41:40 2021 +0200
@@ -916,7 +916,7 @@
         }
         else {
           val archive = Release_Archive.get(source_archive, rename = release_name)
-          val context = make_context(proper_string(release_name) getOrElse archive.identifier)
+          val context = make_context(archive.identifier)
           Isabelle_System.new_directory(context.dist_dir)
           use_release_archive(context, archive, id = rev)
           context