| changeset 62589 | b5783412bfed |
| parent 56534 | 3ff16a7f0b2e |
| child 72316 | 3cc6aa405858 |
--- a/src/Doc/Sledgehammer/document/build Thu Mar 10 12:11:50 2016 +0100 +++ b/src/Doc/Sledgehammer/document/build Thu Mar 10 17:30:04 2016 +0100 @@ -5,6 +5,6 @@ FORMAT="$1" VARIANT="$2" -"$ISABELLE_TOOL" logo -n isabelle_sledgehammer "S/H" +isabelle logo -n isabelle_sledgehammer "S/H" "$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"