summaryrefslogtreecommitdiff
path: root/Build/source/doc/splitinfo.gawk
diff options
context:
space:
mode:
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;