src/Doc/Intro/document/build

--- a/src/Doc/Intro/document/build	Wed May 19 14:17:40 2021 +0100
+++ b/src/Doc/Intro/document/build	Sun May 23 20:34:43 2021 +0200
@@ -2,9 +2,18 @@
 
 set -e
 
-FORMAT="$1"
-VARIANT="$2"
+$ISABELLE_LUALATEX root
+
+if [ -f manual.bib -o -f root.bib ]
+then
+  $ISABELLE_BIBTEX root
+  $ISABELLE_LUALATEX root
+fi
 
-isabelle logo
-"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"
+$ISABELLE_LUALATEX root
 
+if [ -f root.idx ]
+then
+  "$ISABELLE_HOME/src/Doc/sedindex" root
+  $ISABELLE_LUALATEX root
+fi