Re: PATCH: Fix node references and menu (was Re: Yodl 4 required?)

[Bart Schaefer <schaefer@brasslantern.com>]

On Sun, Apr 10, 2022 at 3:07 PM Daniel Shahaf <d.s@daniel.shahaf.name> wrote:
>
> Bart Schaefer wrote on Sun, Mar 13, 2022 at 21:00:16 -0700:
> > On Sun, Mar 13, 2022 at 8:34 PM Bart Schaefer <schaefer@brasslantern.com> wrote:
> > >
> > > makeinfo (GNU texinfo) 4.8 fails
> > > texi2any (GNU texinfo) 6.7 works
> >
> > This repairs the cross-references.  texi2any seems to be too
> > forgiving, because these really were wrong.
>
> Sorry for the breakage and thanks for fixing this.  What should I do
> differently next time?

Seems to come down to:
1) If you add new texinode(this)(next)(prev)(up) entries, the (up)
section needs a startmenu()/endmenu() that references each of the
(this).
2) If there is a sect(thing) or subsect(thing) following the
texinode(this), (thing) must be exactly the same as (this).

There are probably nuances I'm missing, but the above is what fixed
the errors from the old makeinfo.

>  I had built the documentation (all formats)
> before pushing that, and here (Debian) «make info» still passes on
> master if I locally revert your fix.

At some point the texi packages re-implemented "makeinfo" in terms of texi2any.

texi2any is supposed to warn about missing cross-references unless the
--no-validate flag is passed, but it doesn't catch all the same ones
that the older makeinfo does.

> I guess I should try to build on a more bleeding-edge distro (e.g., in
> Debian sid)?

Unless texi2any has been fixed, using a newer distro is not going to
help ... you need an older one.