bug#64233: closed (patch: Ensure that makeinfo ≥ 6.8 checks the @menu structure)

[GNU bug Tracking System]

Your message dated Thu, 22 Jun 2023 23:27:51 +0100
with message-id <928bac9d-fe27-1d78-6b0b-937b5583649e@draigBrady.com>
and subject line Re: bug#64233: patch: Ensure that makeinfo ≥ 6.8 checks the 
@menu structure
has caused the debbugs.gnu.org bug report #64233,
regarding patch: Ensure that makeinfo ≥ 6.8 checks the @menu structure
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
64233: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=64233
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: patch: Ensure that makeinfo ≥ 6.8 checks the @menu structure Date: Fri, 23 Jun 2023 00:05:55 +0200

Makeinfo versions < 6.7 detected mistakes in the @menu structure of TeXinfo
input. Makeinfo versions ≥ 6.8 don't do this any more by default. They need
an extra option, for this validation to happen. See
<https://lists.gnu.org/archive/html/bug-texinfo/2023-06/msg00015.html>.

Since doc/coreutils.texi has a hand-written @menu, it should use this extra
option.

Here's a patch to that effect. I checked it by running
  touch doc/coreutils.texi; make doc/coreutils.info V=1
and
  make sc_makefile_at_at_check

0001-build-Ensure-that-makeinfo-6.8-checks-the-menu-struc.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#64233: patch: Ensure that makeinfo ≥ 6.8 checks the @menu structure
>
>
>
>
> Date: 
>
> Thu, 22 Jun 2023 23:27:51 +0100
>
>
>
>
> User-agent: 
>
> Mozilla Thunderbird
>
>
>
>
> On 22/06/2023 23:05, Bruno Haible wrote:
> > Makeinfo versions < 6.7 detected mistakes in the @menu structure of TeXinfo
> > input. Makeinfo versions ≥ 6.8 don't do this any more by default. They need
> > an extra option, for this validation to happen. See
> > <https://lists.gnu.org/archive/html/bug-texinfo/2023-06/msg00015.html>.
> >
> > Since doc/coreutils.texi has a hand-written @menu, it should use this extra
> > option.
> >
> > Here's a patch to that effect. I checked it by running
> >    touch doc/coreutils.texi; make doc/coreutils.info V=1
> > and
> >    make sc_makefile_at_at_check
>
>
> coreutils has a dep on makeinfo >= 6.1
> and that version supports the -c option,
> so the change should work everywhere.
>
> Pushed.
>
> Marking this as done.
>
> thanks!
> Pádraig
>
>
> --- End Message ---