src/Pure/Admin/build_release.scala

--- a/src/Pure/Admin/build_release.scala	Fri Feb 14 17:17:47 2025 +0100
+++ b/src/Pure/Admin/build_release.scala	Fri Feb 14 17:40:21 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")))
         }
       }