| changeset 49318 | 612a04e7c853 |
| parent 49072 | 747835eb2782 |
| child 53498 | 05313b45a5ae |
--- a/src/Doc/IsarRef/document/build Wed Sep 12 11:14:44 2012 +0200 +++ b/src/Doc/IsarRef/document/build Wed Sep 12 11:28:34 2012 +0200 @@ -11,7 +11,6 @@ cp "$ISABELLE_HOME/src/Doc/extra.sty" . cp "$ISABELLE_HOME/src/Doc/isar.sty" . cp "$ISABELLE_HOME/src/Doc/ttbox.sty" . -cp "$ISABELLE_HOME/src/Doc/isar.sty" . cp "$ISABELLE_HOME/src/Doc/underscore.sty" . cp "$ISABELLE_HOME/src/Doc/manual.bib" .