diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/hvfloat/runAll.sh')
-rwxr-xr-x | Master/texmf-dist/doc/latex/hvfloat/runAll.sh | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/latex/hvfloat/runAll.sh b/Master/texmf-dist/doc/latex/hvfloat/runAll.sh index ae97108d50e..94e35c43f11 100755 --- a/Master/texmf-dist/doc/latex/hvfloat/runAll.sh +++ b/Master/texmf-dist/doc/latex/hvfloat/runAll.sh @@ -1,9 +1,20 @@ #!/bin/bash for datei in *.tex do - lualatex $datei - lualatex $datei + RUNS=1 + echo "LuaLaTeX-Lauf Nr. $RUNS von $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 |