Subject: Re: bug#64233: patch: Ensure that makeinfo ≥ 6.8 checks the @menu structure

From: Bruno Haible <[email-masked]>
Date: Fri, 23 Jun 2023 00:42:14 +0200

Pádraig Brady wrote:
> coreutils has a dep on makeinfo >= 6.1
> and that version supports the -c option,
> so the change should work everywhere.

Yes. makeinfo versions < 6.8 give a warning that they don't know about the
customization variable CHECK_NORMAL_MENU_STRUCTURE. You can simply ignore
this warning. makeinfo version 6.8 is already pretty widely deployed, since
it was released two years ago.

Bruno