diff -r 979b63c3b4c1 -r d3b401fe8188 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Sun Feb 23 15:48:08 2025 +0100
+++ b/src/Pure/Admin/build_release.scala	Sun Feb 23 21:22:41 2025 +0100
@@ -6,6 +6,8 @@
 
 package isabelle
 
+import isabelle.find_facts.Find_Facts
+
 
 object Build_Release {
   /** release context **/
@@ -496,9 +498,9 @@
           val database_dir =
             other_isabelle.expand_path(
               Path.explode("$FIND_FACTS_HOME_USER/solr") + Path.basic(database_name))
-          val database_target_dir =
+          val database_target =
             other_isabelle.expand_path(
-              Path.explode("$FIND_FACTS_HOME/lib/find_facts-" + database_name))
+              Path.explode("$FIND_FACTS_HOME/lib") + Path.basic(database_name).db)
 
           val sessions =
             other_isabelle.bash("bin/isabelle sessions -a " + opt_dirs).check.out_lines
@@ -506,8 +508,7 @@
             "bin/isabelle find_facts_index -o find_facts_database_name=" +
               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)
+          Find_Facts.make_database(database_target, database_dir)
 
           Isabelle_System.rm_tree(database_dir)
           database_dir.dir.file.delete  // "$FIND_FACTS_HOME_USER/solr"