diff -r 06036a16779f -r c6670f9575de src/Pure/Thy/document_build.scala
--- a/src/Pure/Thy/document_build.scala	Sat Jun 01 21:49:50 2024 +0200
+++ b/src/Pure/Thy/document_build.scala	Sat Jun 01 21:52:31 2024 +0200
@@ -456,7 +456,7 @@
           build_script(context, directory),
           cwd = directory.doc_dir,
           echo = verbose,
-          watchdog = Time.seconds(0.5))
+          watchdog_time = Time.seconds(0.5))
 
       val log = result.out_lines ::: result.err_lines
       val err = result.err