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
Dumas wrote:
> On Mon, Nov 21, 2022 at 01:42:20PM -0800, David Bacon wrote:
> > But I like such constructs! I have one in every one of the 249 @section
> > commands in the document I originally submitted with the bug report.
> They
> > are there so that the Table of Conten
be
a guinea pig (and likely early adopter) for your proposed table-of-contents
feature if you want one.
Thanks,
dB
On Mon, Nov 21, 2022 at 1:56 PM Gavin Smith
wrote:
> On Mon, Nov 21, 2022 at 01:42:20PM -0800, David Bacon wrote:
> > But I like such constructs! I have one in every
022 at 09:12:56PM +0100, Patrice Dumas wrote:
> > On Mon, Nov 21, 2022 at 07:07:05AM -0800, David Bacon wrote:
> > > Wow, well done, reducing it to such a nice tidy little test case!
> >
> > Actually the smallest case is the following (which I thought we tested
> > for
cts 6.8 as well.
Many thanks for your prompt and perspicacious attention!
dB
On Mon, Nov 21, 2022 at 2:47 AM Patrice Dumas wrote:
> On Sun, Nov 20, 2022 at 11:30:08AM -0800, David Bacon wrote:
> > The following command on the attached .texi file never terminates, but
> > spins
