diff -r 71e3e144dc08 -r ede77a627b3a src/Pure/Thy/document_build.scala
--- a/src/Pure/Thy/document_build.scala	Sun Mar 05 15:19:53 2023 +0100
+++ b/src/Pure/Thy/document_build.scala	Sun Mar 05 15:25:02 2023 +0100
@@ -442,8 +442,9 @@
       directory: Directory,
       verbose: Boolean
     ): Document_Output = {
+      val progress = context.progress
       val result =
-        context.progress.bash(
+        progress.bash(
           build_script(context, directory),
           cwd = directory.doc_dir.file,
           echo = verbose,