# HG changeset patch
# User wenzelm
# Date 1739486308 -3600
# Node ID 15b5cd4c8f64c3d0ff5dae3326d86d36a916a253
# Parent  f3a5a7c64412d7064768bd07b6481683c6e2d82c
proper $ISABELLE_BROWSER_INFO_SYSTEM for "isabelle build -o system_heaps";

diff -r f3a5a7c64412 -r 15b5cd4c8f64 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Thu Feb 13 16:36:57 2025 +0100
+++ b/src/Pure/Admin/build_release.scala	Thu Feb 13 23:38:28 2025 +0100
@@ -523,7 +523,7 @@
         if (include_library) {
           Browser_Info.make_database(
             other_isabelle.expand_path(Browser_Info.default_database),
-            other_isabelle.expand_path(Browser_Info.default_dir))
+            other_isabelle.expand_path(Path.explode("$ISABELLE_BROWSER_INFO_SYSTEM")))
         }
       }