On Tue, Nov 22, 2022 at 08:44:05PM +0100, Patrice Dumas wrote:
> On Tue, Nov 22, 2022 at 12:16:44AM +0100, Patrice Dumas wrote:
> >
> > In term of implementation, it could indeed be solved in the converters.
>
> Should be done in
> https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=89594d63
On Tue, Nov 22, 2022 at 12:16:44AM +0100, Patrice Dumas wrote:
>
> In term of implementation, it could indeed be solved in the converters.
Should be done in
https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=89594d63e7f5fa0796be4c0002d6200219ef5e62
@Gavin, I think that it should go to the
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
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