diff options
| author | Karl Berry <karl@freefriends.org> | 2020-02-25 22:03:03 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2020-02-25 22:03:03 +0000 |
| commit | ec44a8cec262bd339e0632be731402e9ebaa3992 (patch) | |
| tree | 33e0ae8f16d9376e3db863683aafc699ac52025a /Master/texmf-dist/doc/latex/exframe/exfsermk.sh | |
| parent | 072492d86e05a2508a21d958e5a3045f32a77cae (diff) | |
exframe (25feb20)
git-svn-id: svn://tug.org/texlive/trunk@53911 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/exframe/exfsermk.sh')
| -rw-r--r-- | Master/texmf-dist/doc/latex/exframe/exfsermk.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/latex/exframe/exfsermk.sh b/Master/texmf-dist/doc/latex/exframe/exfsermk.sh index a92683034a8..2117a0a1260 100644 --- a/Master/texmf-dist/doc/latex/exframe/exfsermk.sh +++ b/Master/texmf-dist/doc/latex/exframe/exfsermk.sh @@ -62,7 +62,7 @@ function docompile fwd="\\childdocforward[$srcmain]{$srcsec$num}" fi body="\\def\\jobname{$job}$optdef\\input{childdoc.def}$fwd" - for pass in first main + for pass in first main extra do par=""; if [[ "$pass" == "first" ]]; then par="-draftmode"; fi @@ -71,7 +71,8 @@ function docompile pdflatex -shell-escape -interaction=batchmode $par \ -jobname "$trg" "$body" | grep -vE "$drop" if [[ "$pass" != "main" ]]; then continue; fi - if ! (grep -E -q "may have changed|rerunfilecheck Warning" "$trg.log"); then break; fi + if ! (grep -E -q "may have changed|rerunfilecheck Warning" "$trg.log") + then break; fi done grep -E "^! |Warning|Error|Undefined|Overfull|Underfull" "$trg.log" } |