users/10013: fix use of zshall in helpfiles

1 files changed, 6 insertions, 6 deletions

diff --git a/Util/helpfiles b/Util/helpfiles
index 8c7f2bd70..c1c16ff74 100755
--- a/Util/helpfiles
+++ b/Util/helpfiles
@@ -107,7 +107,12 @@ BUILTINS: while (<>) {
     undef($undented);
     if (/^\s*$/ || ($undented = (/^(\s*)/  && length($1) < $indent))) {
 	$undented && &doprint($_);
-	while (defined($_ = <>) && /(^\w)|(^\s*$)/) { 
+	while (defined($_ = <>) && /(^\w)|(^\s*$)/) {
+	    # NAME is the start of the next section when in zshall.
+	    # (Historical note: we used to exit on the page header,
+	    # but text from the old section can continue to the
+	    # new page).
+	    last BUILTINS if /^\s*NAME\s*$/;
 	    last BUILTINS if /^STARTUP\/SHUTDOWN FILES/;
 	    last if /^zsh.*\s\d$/; # GNU nroff -man end-of-page marker
 	}
@@ -121,11 +126,6 @@ BUILTINS: while (<>) {
 		} while (defined($_) && /^\s*$/);
 	    }
 	}
-	# In zshall, the zshcompctl manual page comes after the
-	# builtins for 3.0, and zshzle comes after it for 3.1.
-	if (/ZSH(COMPCTL|ZLE)\(1\).*ZSH(COMPCTL|ZLE)\(1\)/) {
-	    last BUILTINS;
-	}
 	if (/^(\s*)/ && length($1) < $indent) {
 	    # This may be just a bug on the SGI, or maybe something
 	    # more sinister (don\'t laugh, this is nroff).