summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/hvfloat/runEXA.sh
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-04-04 20:52:35 +0000
committerKarl Berry <karl@freefriends.org>2019-04-04 20:52:35 +0000
commitd9783f18c815aa817e3c05a0c214d9421d1c15d8 (patch)
treec5e58873b0e0f171c184b0e294c4584e9b406816 /Master/texmf-dist/doc/latex/hvfloat/runEXA.sh
parent67ebf2aef27b507f7520b4ec8a5cc23b9301bee7 (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-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