Re: makeinfo man page: note --no-* toggles off

[Alfred M. Szmidt]

You need to read the text to understand what an option does, the text
in question clearly explains what the --no-number-footnotes option
does.  A itemized list does not mean that options are aliases,
'--no-ifdocbook', '--no-ifhtml' etc are also listed in one group.