author | wenzelm |
Wed, 12 Sep 2012 11:28:34 +0200 | |
changeset 49318 | 612a04e7c853 |
parent 49072 | 747835eb2782 |
child 53498 | 05313b45a5ae |
permissions | -rwxr-xr-x |
#!/bin/bash set -e FORMAT="$1" VARIANT="$2" "$ISABELLE_TOOL" logo Isar cp "$ISABELLE_HOME/src/Doc/iman.sty" . cp "$ISABELLE_HOME/src/Doc/extra.sty" . cp "$ISABELLE_HOME/src/Doc/isar.sty" . cp "$ISABELLE_HOME/src/Doc/ttbox.sty" . cp "$ISABELLE_HOME/src/Doc/underscore.sty" . cp "$ISABELLE_HOME/src/Doc/manual.bib" . ./showsymbols "$ISABELLE_HOME/lib/texinputs/isabellesym.sty" > syms.tex "$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"