| changeset 73740 | c46ff0efa1ce |
| parent 73733 | b13b2c1d419e |
| 73739:3e44f8c3f059 | 73740:c46ff0efa1ce |
|---|---|
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 |
2 |
3 set -e |
3 set -e |
4 |
4 |
5 FORMAT="$1" |
5 $ISABELLE_LUALATEX root |
6 VARIANT="$2" |
6 $ISABELLE_BIBTEX root |
7 |
7 $ISABELLE_LUALATEX root |
8 isabelle latex -o "$FORMAT" |
8 $ISABELLE_LUALATEX root |
9 isabelle latex -o bbl |
|
10 isabelle latex -o "$FORMAT" |
|
11 isabelle latex -o "$FORMAT" |
|
12 ./isa-index root |
9 ./isa-index root |
13 isabelle latex -o "$FORMAT" |
10 $ISABELLE_LUALATEX root |