author | wenzelm |
Fri, 07 Dec 2012 18:05:24 +0100 | |
changeset 51441 | d2c60ada3ece |
parent 50087 | 747835eb2782 |
child 54635 | 05313b45a5ae |
permissions | -rwxr-xr-x |
wenzelm@49968 | 1 |
#!/bin/bash |
wenzelm@49968 | 2 |
|
wenzelm@49968 | 3 |
set -e |
wenzelm@49968 | 4 |
|
wenzelm@49968 | 5 |
FORMAT="$1" |
wenzelm@49968 | 6 |
VARIANT="$2" |
wenzelm@49968 | 7 |
|
wenzelm@50087 | 8 |
"$ISABELLE_TOOL" logo Isar |
wenzelm@49968 | 9 |
|
wenzelm@50000 | 10 |
cp "$ISABELLE_HOME/src/Doc/iman.sty" . |
wenzelm@50000 | 11 |
cp "$ISABELLE_HOME/src/Doc/extra.sty" . |
wenzelm@50000 | 12 |
cp "$ISABELLE_HOME/src/Doc/isar.sty" . |
wenzelm@50000 | 13 |
cp "$ISABELLE_HOME/src/Doc/manual.bib" . |
wenzelm@49968 | 14 |
|
wenzelm@50000 | 15 |
"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT" |
wenzelm@49971 | 16 |