diff -r 3e44f8c3f059 -r c46ff0efa1ce src/Doc/prepare_document
--- a/src/Doc/prepare_document	Wed May 19 11:48:35 2021 +0200
+++ b/src/Doc/prepare_document	Wed May 19 11:54:58 2021 +0200
@@ -2,20 +2,18 @@
 
 set -e
 
-FORMAT="$1"
-
-isabelle latex -o "$FORMAT"
+$ISABELLE_LUALATEX root
 
 if [ -f root.bib ]
 then
-  isabelle latex -o bbl
-  isabelle latex -o "$FORMAT"
+  $ISABELLE_BIBTEX root
+  $ISABELLE_LUALATEX root
 fi
 
-isabelle latex -o "$FORMAT"
+$ISABELLE_LUALATEX root
 
 if [ -f root.idx ]
 then
   "$ISABELLE_HOME/src/Doc/sedindex" root
-  isabelle latex -o "$FORMAT"
+  $ISABELLE_LUALATEX root
 fi