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. > Any concise improvements for the man pages are gladly accepted, > but would be applied to the source (also for --help). If I have any, I'll send them. However, I wouldn't volunteer for maintaining --help documentation. :) Have a lovely day! Alex -- <https://www.alejandro-colomar.es> Use port 80 (that is, <...:80/>).
signature.asc
Description: PGP signature
