Re: Better Help Docs Searching?

[Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>]

> On 03 August 2021 at 09:09 Zach Riggle <zachriggle@xxxxxxxxx> wrote:
> Follow-up-to-follow-up, and apologies for the spam.  It appears that,
> while "make info" worked, it did not actually generate anything useful
> in "Doc/zsh.texi".
> 
>   $ make info
>   makeinfo ./zsh.texi
> 
>   $ git status --ignored -sb | grep '!!' | awk '{print $2}' | xargs wc -l
>        114 Config/defs.mk
>        655 Doc/Makefile
>         36 Doc/Zsh/manmodmenu.yo
>        221 Doc/Zsh/modlist.yo
>         38 Doc/Zsh/modmenu.yo
>          9 Doc/version.yo
>          2 Doc/zsh.info <------- two bytes
>          0 Doc/zsh.texi <------- zero

zsh.texi is generated by an earlier stage from the Yodl source; makeinfo simply uses what's
there.  If you don't have Yodl you can grab the doc package from the same place as the
source package and it has all this pre-built.

pws