Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/document_build.scala
changeset 74824 6424f74fd9d4
parent 74811 1f40ded31b78
child 74839 3bf746911da1 
--- 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 =
isabelle