diff options
author | Karl Berry <karl@freefriends.org> | 2014-05-20 17:30:45 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-05-20 17:30:45 +0000 |
commit | c4cfb7ada2f8324071e5dc4af4578cf73fc20b53 (patch) | |
tree | 4afa32ce80cb8bb01726d9b3e0f6b27db94fcda3 /Build/source/doc/splitinfo.gawk | |
parent | c70e750aa5d2f070b7625b1f1113a0be1d647a6d (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.gawk | 4 |
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; |