diff options
Diffstat (limited to 'macros/latex/contrib/hvfloat/doc/examples/runEXA.sh')
-rwxr-xr-x | macros/latex/contrib/hvfloat/doc/examples/runEXA.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/macros/latex/contrib/hvfloat/doc/examples/runEXA.sh b/macros/latex/contrib/hvfloat/doc/examples/runEXA.sh index ea7f8b1f78..de0ad052ec 100755 --- a/macros/latex/contrib/hvfloat/doc/examples/runEXA.sh +++ b/macros/latex/contrib/hvfloat/doc/examples/runEXA.sh @@ -3,14 +3,14 @@ for datei in $1????.tex do RUNS=1 echo "LuaLaTeX-Lauf Nr. $RUNS von $datei =======================================" - lualatex $datei + lualatex --interaction=nonstopmode $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 + lualatex --interaction=nonstopmode $datei TEST=`grep -c "Label(s) may have changed." $MAIN.log ` if [ $RUNS -gt 4 ] then TEST=0 |