PATCH: Add missing detailmenu texi gunk
Mikael Magnusson <[email protected]>
| Newsgroups | gmane.comp.shells.zsh.devel |
|---|---|
| Message-ID | <[email protected]> |
ref https://www.gnu.org/software/texinfo//manual/texinfo/html_node/Master-Menu-Parts.html --- Does this fix it and/or not cause any new problems? It seems to work fine for me with texinfo 6.8. Doc/Zsh/manual.yo | 2 ++ Doc/ztexi.yo | 6 ++++++ 2 files changed, 8 insertions(+) diff --git a/Doc/Zsh/manual.yo b/Doc/Zsh/manual.yo index c7882cebd2..ba38cbfe4f 100644 --- a/Doc/Zsh/manual.yo +++ b/Doc/Zsh/manual.yo @@ -49,6 +49,7 @@ menu(Functions Index) menu(Editor Functions Index) menu(Style and Tag Index) +startdetailmenu() --- The Detailed Node Listing --- Introduction @@ -176,6 +177,7 @@ menu(Mathematical Functions) menu(User Configuration Functions) menu(Other Functions) +enddetailmenu() endmenu() texinode(The Z Shell Manual)(Introduction)(Top)(Top) chapter(The Z Shell Manual) diff --git a/Doc/ztexi.yo b/Doc/ztexi.yo index b754bf2520..943988b62f 100644 --- a/Doc/ztexi.yo +++ b/Doc/ztexi.yo @@ -256,6 +256,12 @@ def(endmenu)(0)(\ def(menu)(1)(\ * ARG1+NOTRANS(::)\ ) +def(startdetailmenu)(0)(\ + NOTRANS(@detailmenu)\ +) +def(enddetailmenu)(0)(\ + NOTRANS(@end detailmenu)\ +) COMMENT(--- indices ---) -- 2.38.1