diff -r a42414afe05f -r 3312ca0f3915 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Wed Feb 12 20:21:33 2025 +0100
+++ b/src/Pure/Admin/build_release.scala	Wed Feb 12 23:17:08 2025 +0100
@@ -478,12 +478,12 @@
 
       make_news(other_isabelle)
 
-      other_isabelle_purge("browser_info")
-
       if (build_library || include_library || include_find_facts) {
         progress.echo("Presenting library ...")
         require(Platform.is_unix, "Linux or macOS platform required")
 
+        other_isabelle_purge("browser_info")
+
         val opt_dirs = "-d '~~/src/Benchmarks' "
         other_isabelle.bash("bin/isabelle build -f -j " + parallel_jobs +
           " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" +
@@ -520,11 +520,16 @@
             " " + Bash.string(context.dist_name + "/browser_info"))
         }
 
-        if (!include_library) other_isabelle_purge("browser_info")
+        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_purge("Admin")
       other_isabelle_purge("heaps")
+      other_isabelle_purge("browser_info")
 
       other_isabelle.cleanup()