diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/hvfloat/runEXA.sh')
-rwxr-xr-x | Master/texmf-dist/doc/latex/hvfloat/runEXA.sh | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/Master/texmf-dist/doc/latex/hvfloat/runEXA.sh b/Master/texmf-dist/doc/latex/hvfloat/runEXA.sh index 2d4060b9360..8d6e6f84fe9 100755 --- a/Master/texmf-dist/doc/latex/hvfloat/runEXA.sh +++ b/Master/texmf-dist/doc/latex/hvfloat/runEXA.sh @@ -1,10 +1,20 @@ #!/bin/bash for datei in $1????.tex do - + RUNS=1 + echo "LuaLaTeX-Lauf Nr. $RUNS von $datei =======================================" lualatex $datei - lualatex $datei - lualatex $datei MAIN=$(basename -a -s .tex $datei) + TEST=`grep -c "Label(s) may have changed." $MAIN.log` + while [ $TEST -gt 0 ]; + do + let RUNS=RUNS+1 + echo "LuaLaTeX-Lauf Nr. $RUNS von $datei =======================================" + lualatex $datei + TEST=`grep -c "Label(s) may have changed." $MAIN.log ` + if [ $RUNS -gt 5 ] + then TEST=0 + fi + done rm $MAIN.aux $MAIN.log $MAIN.out $MAIN.toc done |