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