[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#64233: patch: Ensure that makeinfo ≥ 6.8 checks the @menu structure
From: |
Bruno Haible |
Subject: |
bug#64233: patch: Ensure that makeinfo ≥ 6.8 checks the @menu structure |
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