| changeset 53775 | ab1ae01b41bc |
| parent 53769 | 036e80175bdd |
| child 56420 | b266e7a86485 |
--- a/src/Doc/JEdit/document/build Sat Sep 21 17:18:26 2013 +0200 +++ b/src/Doc/JEdit/document/build Sat Sep 21 17:20:08 2013 +0200 @@ -5,7 +5,7 @@ FORMAT="$1" VARIANT="$2" -"$ISABELLE_TOOL" logo PIDE +"$ISABELLE_TOOL" logo jEdit cp "$ISABELLE_HOME/src/Doc/IsarRef/document/style.sty" . cp "$ISABELLE_HOME/src/Doc/iman.sty" .