From 85f7080b89c49213deb4138a14ae397ad5b2fc8f Mon Sep 17 00:00:00 2001 From: Peter Stephenson Date: Mon, 13 Mar 2006 19:03:30 +0000 Subject: users/10013: fix use of zshall in helpfiles --- Util/helpfiles | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'Util') 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). -- cgit 1.4.1