From 090b5f3e6385f7c66715cc08043b754d9f35062f Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 6 Apr 2019 12:32:30 +0100 Subject: [PATCH] Remove outdated aux file prior to starting the LateX build. --- document-generator/document-template/build_lib.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/document-generator/document-template/build_lib.sh b/document-generator/document-template/build_lib.sh index 11f82af..64376b7 100755 --- a/document-generator/document-template/build_lib.sh +++ b/document-generator/document-template/build_lib.sh @@ -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"; } && \