diff options
author | Sven Wischnowsky <wischnow@users.sourceforge.net> | 2002-01-10 11:00:05 +0000 |
---|---|---|
committer | Sven Wischnowsky <wischnow@users.sourceforge.net> | 2002-01-10 11:00:05 +0000 |
commit | 5659f442c09bf3e94a60887b998473af02590477 (patch) | |
tree | 1180270207278bd62e4061dc44533780eaa45c84 /Doc/Zsh | |
parent | 324e26d8ceb08ea907c686265f2b51bbc8232cff (diff) | |
download | zsh-5659f442c09bf3e94a60887b998473af02590477.tar.gz zsh-5659f442c09bf3e94a60887b998473af02590477.tar.xz zsh-5659f442c09bf3e94a60887b998473af02590477.zip |
allow manual pages to be shown separated by section with new separate-sections style (16426)
Diffstat (limited to 'Doc/Zsh')
-rw-r--r-- | Doc/Zsh/compsys.yo | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Doc/Zsh/compsys.yo b/Doc/Zsh/compsys.yo index 0eaf4f8c4..d7bfaa824 100644 --- a/Doc/Zsh/compsys.yo +++ b/Doc/Zsh/compsys.yo @@ -1971,6 +1971,15 @@ negative number to scroll by the number of lines of the screen minus that number (or plus the number, since it is negative). The default is to scroll by single lines. ) +kindex(separate-sections, completion style) +item(tt(separate-sections))( +This style is used with the tt(manuals) tag when completing names of +manual pages. If it is `true', entries for different sections are +added separately using tag names of the form `tt(manual.)var(X)', +where var(X) is the section number. This means that it is possible to +make pages from different sections be listed separately by setting the +tt(group-name) style. The default for this style is `false'. +) kindex(single-ignored, completion style) item(tt(single-ignored))( This is used by the tt(_ignored) completer. It specifies what |