[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: makeinfo man page: note --no-* toggles off
|
From: |
Alfred M. Szmidt |
|
Subject: |
Re: makeinfo man page: note --no-* toggles off |
|
Date: |
Sun, 05 Dec 2021 04:38:37 -0500 |
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.