diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | Doc/Zsh/manual.yo | 2 | ||||
-rw-r--r-- | Doc/Zsh/zle.yo | 2 |
3 files changed, 9 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 426bfb1e6..29fac263f 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2021-12-01 Daniel Shahaf <d.s@daniel.shahaf.name> + + * 49621: Doc/Zsh/manual.yo, Doc/Zsh/zle.yo: Fix the info Doc + build, broken in 49448. + 2021-11-30 Oliver Kiddle <opk@zsh.org> * 49612: Src/module.c: avoid startup error with clashing non-local diff --git a/Doc/Zsh/manual.yo b/Doc/Zsh/manual.yo index 51601adbd..dc4d6ed07 100644 --- a/Doc/Zsh/manual.yo +++ b/Doc/Zsh/manual.yo @@ -108,6 +108,8 @@ Zsh Line Editor menu(Keymaps) menu(Zle Builtins) menu(Zle Widgets) +menu(User-Defined Widgets) +menu(Standard Widgets) menu(Character Highlighting) Completion Widgets diff --git a/Doc/Zsh/zle.yo b/Doc/Zsh/zle.yo index 6948aa5ac..aaeeddf26 100644 --- a/Doc/Zsh/zle.yo +++ b/Doc/Zsh/zle.yo @@ -57,6 +57,8 @@ startmenu() menu(Keymaps) menu(Zle Builtins) menu(Zle Widgets) +menu(User-Defined Widgets) +menu(Standard Widgets) menu(Character Highlighting) endmenu() |