--- a/src/Pure/Admin/build_release.scala Thu Jan 30 20:55:42 2025 +0100
+++ b/src/Pure/Admin/build_release.scala Thu Jan 30 21:44:44 2025 +0100
@@ -504,6 +504,10 @@
Bash.strings(sessions), echo = true).check
Isabelle_System.make_directory(database_target_dir)
Isabelle_System.copy_dir(database_dir, database_target_dir, direct = true)
+
+ Isabelle_System.rm_tree(database_dir)
+ database_dir.dir.file.delete // "$FIND_FACTS_HOME_USER/solr"
+ database_dir.dir.dir.file.delete // "$FIND_FACTS_HOME_USER"
}
if (!include_library) other_isabelle_purge("browser_info")