Re: --number-footnotes option is not documented in texi2any help

[Patrice Dumas]

On Tue, Dec 24, 2024 at 07:00:08PM +0100, Patrice Dumas wrote:
> > >   --[no-]number-footnotes       number footnotes sequentially;
> > >                                   default is on.
> > > 
> > We don't have to document all of the options in the help message, only
> > in the manual.
> > 
> > If that is the only option that we don't document, then we should add it,
> > but if there are more undocumented options, we should consider removing
> > other options from the help message only to leave frequently-used ones.
> 
> As far as I can tell, it is the only option that we don't document.

Added.

-- 
Pat