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
