diff -r e273a9846379 -r cddcc84309a5 src/Pure/Build/browser_info.scala
--- a/src/Pure/Build/browser_info.scala	Sun Feb 02 17:11:45 2025 +0100
+++ b/src/Pure/Build/browser_info.scala	Sun Feb 02 17:25:12 2025 +0100
@@ -564,7 +564,7 @@
     val session_dir = context.session_dir(session_name).expand
     progress.echo("Presenting " + session_name + " in " + session_dir + " ...")
 
-    Meta_Info.init_directory(context.chapter_dir(session_name))
+    Meta_Info.init_directory(context.chapter_dir(session_name), permissive = true)
     Meta_Info.clean_directory(session_dir)
 
     val session = context.document_info.the_session(session_name)