| changeset 73742 | c31510e70e95 |
| parent 73740 | c46ff0efa1ce |
| 73741:941915a3b811 | 73742:c31510e70e95 |
|---|---|
2 |
2 |
3 set -e |
3 set -e |
4 |
4 |
5 $ISABELLE_LUALATEX root |
5 $ISABELLE_LUALATEX root |
6 |
6 |
7 if [ -f root.bib ] |
7 if [ -f manual.bib -o -f root.bib ] |
8 then |
8 then |
9 $ISABELLE_BIBTEX root |
9 $ISABELLE_BIBTEX root |
10 $ISABELLE_LUALATEX root |
10 $ISABELLE_LUALATEX root |
11 fi |
11 fi |
12 |
12 |