author | Walther Neuper <neuper@ist.tugraz.at> |
Sun, 14 Jul 2013 14:48:14 +0200 | |
changeset 52056 | f5d9bceb4dc0 |
parent 50000 | 5386df44a037 |
child 54635 | 05313b45a5ae |
permissions | -rwxr-xr-x |
1 #!/bin/bash
3 set -e
5 FORMAT="$1"
7 "$ISABELLE_TOOL" latex -o sty
8 cp "$ISABELLE_HOME/src/Doc/pdfsetup.sty" .
10 "$ISABELLE_TOOL" latex -o "$FORMAT"
11 "$ISABELLE_TOOL" latex -o bbl
12 [ -f root.idx ] && "$ISABELLE_HOME/src/Doc/sedindex" root
13 "$ISABELLE_TOOL" latex -o "$FORMAT"
14 [ -f root.out ] && "$ISABELLE_HOME/src/Doc/fixbookmarks" root.out
15 "$ISABELLE_TOOL" latex -o "$FORMAT"