--- a/src/Doc/prepare_document Tue May 18 19:59:22 2021 +0200
+++ b/src/Doc/prepare_document Tue May 18 20:19:02 2021 +0200
@@ -5,7 +5,17 @@
FORMAT="$1"
isabelle latex -o "$FORMAT"
-isabelle latex -o bbl
-[ -f root.idx ] && "$ISABELLE_HOME/src/Doc/sedindex" root
+
+if [ -f root.bib ]
+then
+ isabelle latex -o bbl
+ isabelle latex -o "$FORMAT"
+fi
+
isabelle latex -o "$FORMAT"
-isabelle latex -o "$FORMAT"
+
+if [ -f root.idx ]
+then
+ "$ISABELLE_HOME/src/Doc/sedindex" root
+ isabelle latex -o "$FORMAT"
+fi