diff options
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; |