--- 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