author | haftmann |
Sat, 05 Apr 2014 11:37:00 +0200 | |
changeset 56420 | b266e7a86485 |
parent 53498 | src/Doc/ZF/document/build@05313b45a5ae |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash set -e FORMAT="$1" VARIANT="$2" "$ISABELLE_TOOL" logo ZF cp "$ISABELLE_HOME/src/Doc/isar.sty" . cp "$ISABELLE_HOME/src/Doc/ttbox.sty" . cp "$ISABELLE_HOME/src/Doc/manual.bib" . cp "$ISABELLE_HOME/src/Doc/Logics/document/syntax.tex" . "$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"