--- 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)