Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper $ISABELLE_BROWSER_INFO_SYSTEM for "isabelle build -o system_heaps";
authorwenzelm
Thu, 13 Feb 2025 23:38:28 +0100
changeset 82160 15b5cd4c8f64
parent 82159 f3a5a7c64412
child 82161 843c2205b076
proper $ISABELLE_BROWSER_INFO_SYSTEM for "isabelle build -o system_heaps";
src/Pure/Admin/build_release.scala file | annotate | diff | comparison | revisions 
--- 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")))
         }
       }
isabelle