diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/hvfloat/runAll.sh')
-rwxr-xr-x | Master/texmf-dist/doc/latex/hvfloat/runAll.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/latex/hvfloat/runAll.sh b/Master/texmf-dist/doc/latex/hvfloat/runAll.sh index 94e35c43f11..3b6bc2008fa 100755 --- a/Master/texmf-dist/doc/latex/hvfloat/runAll.sh +++ b/Master/texmf-dist/doc/latex/hvfloat/runAll.sh @@ -12,7 +12,7 @@ do echo "LuaLaTeX-Lauf Nr. $RUNS von $datei =======================================" lualatex $datei TEST=`grep -c "Label(s) may have changed." $MAIN.log ` - if [ $RUNS -gt 5 ] + if [ $RUNS -gt 4 ] then TEST=0 fi done |