summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/exframe/exfsermk.sh
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-02-25 22:03:03 +0000
committerKarl Berry <karl@freefriends.org>2020-02-25 22:03:03 +0000
commitec44a8cec262bd339e0632be731402e9ebaa3992 (patch)
tree33e0ae8f16d9376e3db863683aafc699ac52025a /Master/texmf-dist/doc/latex/exframe/exfsermk.sh
parent072492d86e05a2508a21d958e5a3045f32a77cae (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.sh5
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"
}