changeset 48956 | d54a3d39ba85 |
parent 48954 | c548d26daa8c |
child 48971 | 5a4bcf466156 |
--- a/doc-src/Codegen/document/build Mon Aug 27 23:37:16 2012 +0200 +++ b/doc-src/Codegen/document/build Tue Aug 28 12:22:10 2012 +0200 @@ -22,6 +22,8 @@ done "$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"