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