--- a/src/Pure/Admin/build_release.scala Wed Apr 14 20:53:28 2021 +0200
+++ b/src/Pure/Admin/build_release.scala Wed Apr 14 21:15:24 2021 +0200
@@ -386,9 +386,9 @@
val archive_ident =
Isabelle_System.with_tmp_dir("build_release")(tmp_dir =>
{
- val getsettings = release.isabelle + Path.explode("lib/scripts/getsettings")
+ val isabelle_id = release.isabelle + Path.explode("etc/ISABELLE_ID")
execute_tar(tmp_dir, "-xzf " +
- File.bash_path(release.isabelle_archive) + " " + File.bash_path(getsettings))
+ File.bash_path(release.isabelle_archive) + " " + File.bash_path(isabelle_id))
Isabelle_System.isabelle_id(root = tmp_dir + release.isabelle)
})