| changeset 48961 | 647462af31c4 |
| parent 48956 | d54a3d39ba85 |
| child 48971 | 5a4bcf466156 |
--- a/doc-src/System/document/build Tue Aug 28 12:52:14 2012 +0200 +++ b/doc-src/System/document/build Tue Aug 28 12:55:32 2012 +0200 @@ -8,7 +8,7 @@ "$ISABELLE_TOOL" logo -o isabelle.pdf "" "$ISABELLE_TOOL" logo -o isabelle.eps "" -cp "$ISABELLE_HOME/doc-src/IsarRef/style.sty" . +cp "$ISABELLE_HOME/doc-src/IsarRef/document/style.sty" . cp "$ISABELLE_HOME/doc-src/iman.sty" . cp "$ISABELLE_HOME/doc-src/extra.sty" . cp "$ISABELLE_HOME/doc-src/isar.sty" .