Re: Better Help Docs Searching?

[Vincent Lefevre <vincent@xxxxxxxxxx>]

On 2021-08-03 03:03:35 -0500, Zach Riggle wrote:
> Okay, I'm a bit of an idiot.  I've been so spoiled by "brew install"
> that I forgot to "autoconf && ./configure".
> 
> This explains the "make" failures I was getting above.  "make info"
> now works for me, and generates "Docs/zsh.texi".
> 
> I don't want to "make install" and break things by putting stuff in
> /usr/local (and I expect that using --prefix=some/other/directory will
> prevent "info" from actually finding that content) -- so information
> on how to generate the indices for the "info" command would still be
> welcome.

You can use --prefix=/some/other/directory and add
/some/other/directory/share/info to $INFOPATH.

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)