bug#64236: patch: Ensure that makeinfo ≥ 6.8 checks the @menu structure

On Thu, Jun 22, 2023 at 4:56 PM 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 >

bug#64236: patch: Ensure that makeinfo ≥ 6.8 checks the @menu structure

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 . Since doc/gzip.texi ha