diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /macros/latex/contrib/hvfloat/doc/examples/runAll.sh |
Initial commit
Diffstat (limited to 'macros/latex/contrib/hvfloat/doc/examples/runAll.sh')
-rwxr-xr-x | macros/latex/contrib/hvfloat/doc/examples/runAll.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/macros/latex/contrib/hvfloat/doc/examples/runAll.sh b/macros/latex/contrib/hvfloat/doc/examples/runAll.sh new file mode 100755 index 0000000000..94e35c43f1 --- /dev/null +++ b/macros/latex/contrib/hvfloat/doc/examples/runAll.sh @@ -0,0 +1,20 @@ +#!/bin/bash +for datei in *.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 |