On 20/09/2025 17:55, Alejandro Colomar wrote:
Hi Pádraig,
On Sat, Sep 20, 2025 at 05:34:03PM +0100, Pádraig Brady wrote:
The man pages are programmatically generated from the sources.
I.e. $cmd --help is processed by help2man.
Hmmm. That's a problem.
All of the man pages have links to the info docs for full documentation.
I know. However, many users don't enjoy the info docs.
I my experience user don't enjoy the info _reader_, while the docs are fine.
The full docs are on the web though and also linked from each man page.
cheers,
Padraig
