changeset 62589 | b5783412bfed |
parent 56534 | 3ff16a7f0b2e |
--- a/src/Doc/Main/document/build Thu Mar 10 12:11:50 2016 +0100 +++ b/src/Doc/Main/document/build Thu Mar 10 17:30:04 2016 +0100 @@ -5,6 +5,6 @@ FORMAT="$1" VARIANT="$2" -"$ISABELLE_TOOL" latex -o "$FORMAT" -"$ISABELLE_TOOL" latex -o "$FORMAT" +isabelle latex -o "$FORMAT" +isabelle latex -o "$FORMAT"