summaryrefslogtreecommitdiff
path: root/Build/source/doc/splitinfo.gawk
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2014-05-20 17:30:45 +0000
committerKarl Berry <karl@freefriends.org>2014-05-20 17:30:45 +0000
commitc4cfb7ada2f8324071e5dc4af4578cf73fc20b53 (patch)
tree4afa32ce80cb8bb01726d9b3e0f6b27db94fcda3 /Build/source/doc/splitinfo.gawk
parentc70e750aa5d2f070b7625b1f1113a0be1d647a6d (diff)
tlbuild.texi: @include install-tl and tlmgr, autogenerated from the pod
git-svn-id: svn://tug.org/texlive/trunk@34143 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/doc/splitinfo.gawk')
-rw-r--r--Build/source/doc/splitinfo.gawk4
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/doc/splitinfo.gawk b/Build/source/doc/splitinfo.gawk
index 143b247e038..bc5b3229950 100644
--- a/Build/source/doc/splitinfo.gawk
+++ b/Build/source/doc/splitinfo.gawk
@@ -10,8 +10,8 @@ BEGIN {
{
if (/^[*]+$/) { # starting new chapter
- # if we're at the index, quit.
- if (lastline == "Index") exit (0);
+ # if we're at the index or an appendix, quit.
+ if (lastline == "Index" || lastline ~ /^Appendix /) exit (0);
# move on unless starting a chapter we want (not top, intro, etc.)
if (lastline !~ /^[2-9]/) next;