diff -r 3e44f8c3f059 -r c46ff0efa1ce src/Doc/Tutorial/document/build
--- a/src/Doc/Tutorial/document/build	Wed May 19 11:48:35 2021 +0200
+++ b/src/Doc/Tutorial/document/build	Wed May 19 11:54:58 2021 +0200
@@ -2,12 +2,9 @@
 
 set -e
 
-FORMAT="$1"
-VARIANT="$2"
-
-isabelle latex -o "$FORMAT"
-isabelle latex -o bbl
-isabelle latex -o "$FORMAT"
-isabelle latex -o "$FORMAT"
+$ISABELLE_LUALATEX root
+$ISABELLE_BIBTEX root
+$ISABELLE_LUALATEX root
+$ISABELLE_LUALATEX root
 ./isa-index root
-isabelle latex -o "$FORMAT"
+$ISABELLE_LUALATEX root