Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: Error building info doc from latest git

X-seq: zsh-workers 49621
From: Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx>
To: Zsh hackers list <zsh-workers@xxxxxxx>
Subject: Re: Error building info doc from latest git
Date: Wed, 1 Dec 2021 03:17:35 +0000
Archived-at: <https://zsh.org/workers/49621>
In-reply-to: <CAH+w=7b9fpZJ+_GAMBoW6gNQrTDAvZAr99GiebTH6xHiCaxH+Q@mail.gmail.com>
List-id: <zsh-workers.zsh.org>
References: <CAH+w=7b9fpZJ+_GAMBoW6gNQrTDAvZAr99GiebTH6xHiCaxH+Q@mail.gmail.com>

Bart Schaefer wrote on Sat, Nov 27, 2021 at 09:48:37 -0800:
> makeinfo ./zsh.texi
> ./zsh.texi:16021: node `Zsh Line Editor' lacks menu item for
> `User-Defined Widgets' despite being its Up target
> ./zsh.texi:16021: node `Zsh Line Editor' lacks menu item for `Standard
> Widgets' despite being its Up target
> make[1]: *** [Makefile:285: zsh.info] Error 1
> make[1]: Target 'info' not remade because of errors.
> make: *** [Makefile:200: info] Error 2

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()

References:
- Error building info doc from latest git
  - From: Bart Schaefer

Messages sorted by: Reverse Date, Date, Thread, Author