GNU bug report logs - #64233
patch: Ensure that makeinfo ≥ 6.8 checks the @menu structure

Previous Next

Full log

View this message in rfc822 format

From: Bruno Haible <bruno <at> clisp.org>
To: 64233-done <at> debbugs.gnu.org, Pádraig Brady <P <at> draigbrady.com>
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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.