mirror of
https://github.com/zsh-users/zsh
synced 2024-10-14 03:42:34 +00:00
users/10013: fix use of zshall in helpfiles
This commit is contained in:
parent
a8d89a3d33
commit
85f7080b89
|
@ -1,3 +1,8 @@
|
|||
2006-03-13 Peter Stephenson <pws@csr.com>
|
||||
|
||||
* users/10013: Util/helpfiles: fix use of zshall for
|
||||
generating.
|
||||
|
||||
2006-03-09 Wayne Davison <wayned@users.sourceforge.net>
|
||||
|
||||
* users/10007: Francisco Borges: Doc/Zsh/options.yo: Added
|
||||
|
|
|
@ -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).
|
||||
|
|
Loading…
Reference in a new issue