diff options
author | Karl Berry <karl@freefriends.org> | 2019-04-04 20:52:35 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-04-04 20:52:35 +0000 |
commit | d9783f18c815aa817e3c05a0c214d9421d1c15d8 (patch) | |
tree | c5e58873b0e0f171c184b0e294c4584e9b406816 /Master/texmf-dist/doc/latex/hvfloat/runEXA.sh | |
parent | 67ebf2aef27b507f7520b4ec8a5cc23b9301bee7 (diff) |
hvfloat (4apr19)
git-svn-id: svn://tug.org/texlive/trunk@50753 c570f23f-e606-0410-a88d-b1316a301751
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 |