| changeset 56451 | 856492b0f755 |
| parent 56420 | b266e7a86485 |
| child 56534 | 3ff16a7f0b2e |
--- a/src/Doc/System/document/build Mon Apr 07 16:37:57 2014 +0200 +++ b/src/Doc/System/document/build Tue Apr 08 12:46:38 2014 +0200 @@ -7,7 +7,7 @@ "$ISABELLE_TOOL" logo -cp "$ISABELLE_HOME/src/Doc/Isar-Ref/document/style.sty" . +cp "$ISABELLE_HOME/src/Doc/Isar_Ref/document/style.sty" . cp "$ISABELLE_HOME/src/Doc/iman.sty" . cp "$ISABELLE_HOME/src/Doc/extra.sty" . cp "$ISABELLE_HOME/src/Doc/isar.sty" .