diff options
| author | Bart Schaefer <barts@users.sourceforge.net> | 2000-09-03 05:22:59 +0000 |
|---|---|---|
| committer | Bart Schaefer <barts@users.sourceforge.net> | 2000-09-03 05:22:59 +0000 |
| commit | f1135dfd5f3ca229b1d8adcacdd10b01176ca7c7 (patch) | |
| tree | 1c047e8727454ae480729172b72ce8f01fae4789 /Util | |
| parent | ac9d17a5977863afabf7c49aaba97d142580f081 (diff) | |
| download | zsh-f1135dfd5f3ca229b1d8adcacdd10b01176ca7c7.tar.gz zsh-f1135dfd5f3ca229b1d8adcacdd10b01176ca7c7.tar.xz zsh-f1135dfd5f3ca229b1d8adcacdd10b01176ca7c7.zip | |
Fix helpfiles.
Diffstat (limited to 'Util')
| -rwxr-xr-x | Util/helpfiles | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Util/helpfiles b/Util/helpfiles index 472132b29..56e77759e 100755 --- a/Util/helpfiles +++ b/Util/helpfiles @@ -109,8 +109,9 @@ BUILTINS: while (<>) { $undented && &doprint($_); while (defined($_ = <>) && /(^\w)|(^\s*$)/) { last BUILTINS if /^STARTUP\/SHUTDOWN FILES/; + last if /^zsh.*\s\d$/; # GNU nroff -man end-of-page marker } - if (/^\s*Page/) { + if (/^\s*Page/ || /^zsh.*\s\d$/) { do { $_ = <>; } while (defined($_) && /^\s*$/); @@ -121,8 +122,8 @@ BUILTINS: while (<>) { } } # In zshall, the zshcompctl manual page comes after the - # builtins. - if (/ZSHCOMPCTL\(1\).*ZSHCOMPCTL\(1\)/) { + # 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) { |