src/Pure/Thy/document_build.scala

       val result =
         progress.bash(
           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
 
       val errors1 = directory.log_errors()