diff -r d6ce4ce20422 -r 6424f74fd9d4 src/Pure/Thy/document_build.scala
--- a/src/Pure/Thy/document_build.scala	Sat Nov 20 18:15:09 2021 +0100
+++ b/src/Pure/Thy/document_build.scala	Sat Nov 20 18:58:23 2021 +0100
@@ -335,7 +335,7 @@
   abstract class Bash_Engine(name: String) extends Engine(name)
   {
     def prepare_directory(context: Context, dir: Path, doc: Document_Variant): Directory =
-      context.prepare_directory(dir, doc, new Latex.Output)
+      context.prepare_directory(dir, doc, new Latex.Output(context.options))
 
     def use_pdflatex: Boolean = false
     def latex_script(context: Context, directory: Directory): String =