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

Error building info doc from latest git

X-seq: zsh-workers 49607
From: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
To: Zsh hackers list <zsh-workers@xxxxxxx>
Subject: Error building info doc from latest git
Date: Sat, 27 Nov 2021 09:48:37 -0800
Archived-at: <https://zsh.org/workers/49607>
List-id: <zsh-workers.zsh.org>

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

Follow-Ups:
- Re: Error building info doc from latest git
  - From: Daniel Shahaf

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