--- a/src/Doc/Intro/document/build Wed May 19 16:44:40 2021 +0200
+++ b/src/Doc/Intro/document/build Wed May 19 18:22:56 2021 +0200
@@ -2,8 +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_HOME/src/Doc/prepare_document" "$FORMAT"
+$ISABELLE_LUALATEX root
+if [ -f root.idx ]
+then
+ "$ISABELLE_HOME/src/Doc/sedindex" root
+ $ISABELLE_LUALATEX root
+fi
--- a/src/Doc/Logics/document/build Wed May 19 16:44:40 2021 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-#!/usr/bin/env bash
-
-set -e
-
-FORMAT="$1"
-VARIANT="$2"
-
-"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"
-
--- a/src/Doc/Logics_ZF/document/build Wed May 19 16:44:40 2021 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-#!/usr/bin/env bash
-
-set -e
-
-FORMAT="$1"
-VARIANT="$2"
-
-"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"
-
--- a/src/Doc/ROOT Wed May 19 16:44:40 2021 +0200
+++ b/src/Doc/ROOT Wed May 19 18:22:56 2021 +0200
@@ -124,7 +124,6 @@
options [document_logo = "_", document_bibliography, document_build = "build",
document_variants = "intro"]
document_files (in "..")
- "prepare_document"
"pdfsetup.sty"
"iman.sty"
"extra.sty"
@@ -262,18 +261,18 @@
options [document_logo = "_", document_bibliography, document_build = "build",
document_variants = "logics"]
document_files (in "..")
- "prepare_document"
"pdfsetup.sty"
"iman.sty"
"extra.sty"
"ttbox.sty"
"manual.bib"
+ document_files (in "../Intro/document")
+ "build"
document_files
"CTT.tex"
"HOL.tex"
"LK.tex"
"Sequents.tex"
- "build"
"preface.tex"
"root.tex"
"syntax.tex"
@@ -290,17 +289,17 @@
If
ZF_Isar
document_files (in "..")
- "prepare_document"
"pdfsetup.sty"
"isar.sty"
"ttbox.sty"
"manual.bib"
+ document_files (in "../Intro/document")
+ "build"
document_files (in "../Logics/document")
"syntax.tex"
document_files
"FOL.tex"
"ZF.tex"
- "build"
"logics.sty"
"root.tex"
--- a/src/Doc/prepare_document Wed May 19 16:44:40 2021 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,19 +0,0 @@
-#!/usr/bin/env bash
-
-set -e
-
-$ISABELLE_LUALATEX root
-
-if [ -f manual.bib -o -f root.bib ]
-then
- $ISABELLE_BIBTEX root
- $ISABELLE_LUALATEX root
-fi
-
-$ISABELLE_LUALATEX root
-
-if [ -f root.idx ]
-then
- "$ISABELLE_HOME/src/Doc/sedindex" root
- $ISABELLE_LUALATEX root
-fi