--- a/doc-src/ZF/document/build Mon Aug 27 23:37:16 2012 +0200
+++ b/doc-src/ZF/document/build Tue Aug 28 12:22:10 2012 +0200
@@ -8,12 +8,15 @@
"$ISABELLE_TOOL" logo -o isabelle_zf.pdf "ZF"
"$ISABELLE_TOOL" logo -o isabelle_zf.eps "ZF"
+cp "$ISABELLE_HOME/doc-src/isar.sty" .
cp "$ISABELLE_HOME/doc-src/ttbox.sty" .
cp "$ISABELLE_HOME/doc-src/proof.sty" .
cp "$ISABELLE_HOME/doc-src/manual.bib" .
cp "$ISABELLE_HOME/doc-src/Logics/document/syntax.tex" .
"$ISABELLE_TOOL" latex -o sty
+cp "$ISABELLE_HOME/doc-src/pdfsetup.sty" .
+
"$ISABELLE_TOOL" latex -o "$FORMAT"
"$ISABELLE_TOOL" latex -o bbl
"$ISABELLE_TOOL" latex -o "$FORMAT"