author | wenzelm |
Tue, 10 Sep 2013 11:57:53 +0200 | |
changeset 53498 | 05313b45a5ae |
parent 50426 | d2c60ada3ece |
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"