diff options
Diffstat (limited to 'macros/latex/contrib/hvfloat/doc/examples/runEXA.sh')
-rwxr-xr-x | macros/latex/contrib/hvfloat/doc/examples/runEXA.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/macros/latex/contrib/hvfloat/doc/examples/runEXA.sh b/macros/latex/contrib/hvfloat/doc/examples/runEXA.sh new file mode 100755 index 0000000000..8d6e6f84fe --- /dev/null +++ b/macros/latex/contrib/hvfloat/doc/examples/runEXA.sh @@ -0,0 +1,20 @@ +#!/bin/bash +for datei in $1????.tex +do + 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 |