Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Remove outdated aux file prior to starting the LateX build.

This commit is contained in:
Achim D. Brucker 2019-04-06 12:32:30 +01:00
parent 4a61b55763
commit 090b5f3e63
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
document-generator/document-template/build_lib.sh
View File

@ -119,6 +119,9 @@ cp $ROOT root.tex
cp $ISABELLE_HOME_USER/DOF/latex/*.sty .
cp $ISABELLE_HOME_USER/DOF/latex/*.sty .
# delete outdated aux files from previous runs
rm -f *.aux
$ISABELLE_TOOL latex -o sty "root.tex" && \
$ISABELLE_TOOL latex -o "$OUTFORMAT" "root.tex" && \
{ [ ! -f "$ROOT_NAME.bib" ] || $ISABELLE_TOOL latex -o bbl "root.tex"; } && \