Re: minor quibble with installation warning

2022-11-22 Thread Gavin Smith
On Tue, Nov 22, 2022 at 06:24:35AM -0800, David Bacon wrote: > In texinfo-7.0, with "make install prefix=$HOME" (after configuring and > making without specifying an installation prefix), I get the warning > > libtool: warning: remember to run 'libtool --finish /usr/local/lib/texinfo' > > It shou

minor quibble with installation warning

2022-11-22 Thread David Bacon
In texinfo-7.0, with "make install prefix=$HOME" (after configuring and making without specifying an installation prefix), I get the warning libtool: warning: remember to run 'libtool --finish /usr/local/lib/texinfo' It should say /home/bacon/lib/texinfo if anything. Thanks, dB