summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/hvfloat/runEXA.sh
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/hvfloat/runEXA.sh')
-rwxr-xr-xMaster/texmf-dist/doc/latex/hvfloat/runEXA.sh16
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