# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1739549727 -3600
# Node ID e4a5431578a83b812d875354b1f6dad96a0f0f2c
# Parent  74d9a7b65abdf457822fed8634cf980cb3216b8f
use bundled browser_info.db for Find_Facts in release;

diff -r 74d9a7b65abd -r e4a5431578a8 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Fri Feb 14 17:04:17 2025 +0100
+++ b/src/Pure/Admin/build_release.scala	Fri Feb 14 17:15:27 2025 +0100
@@ -504,7 +504,7 @@
             other_isabelle.bash("bin/isabelle sessions -a " + opt_dirs).check.out_lines
           other_isabelle.bash(
             "bin/isabelle find_facts_index -o find_facts_database_name=" +
-              Bash.string(database_name) + " -n " + opt_dirs +
+              Bash.string(database_name) + " -n -N " + opt_dirs +
               Bash.strings(sessions), echo = true).check
           Isabelle_System.make_directory(database_target_dir)
           Isabelle_System.copy_dir(database_dir, database_target_dir, direct = true)