| changeset 48956 | d54a3d39ba85 |
| parent 48938 | d468d72a458f |
| child 48971 | 5a4bcf466156 |
--- a/doc-src/IsarImplementation/document/build Mon Aug 27 23:37:16 2012 +0200 +++ b/doc-src/IsarImplementation/document/build Tue Aug 28 12:22:10 2012 +0200 @@ -17,6 +17,8 @@ cp "$ISABELLE_HOME/doc-src/manual.bib" . "$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"