diff -r d389577a6fba -r db92e0b6a11a src/Pure/Thy/document_build.scala
--- a/src/Pure/Thy/document_build.scala	Fri May 31 22:35:44 2024 +0200
+++ b/src/Pure/Thy/document_build.scala	Sat Jun 01 12:31:06 2024 +0200
@@ -332,7 +332,7 @@
       session_graph.write(doc_dir)
 
       if (verbose) {
-        progress.bash("ls -alR", echo = true, cwd = doc_dir.file).check
+        progress.bash("ls -alR", echo = true, cwd = doc_dir).check
         progress match {
           case program_progress: Program_Progress => program_progress.stop_program()
           case _ =>
@@ -454,7 +454,7 @@
       val result =
         progress.bash(
           build_script(context, directory),
-          cwd = directory.doc_dir.file,
+          cwd = directory.doc_dir,
           echo = verbose,
           watchdog = Time.seconds(0.5))