On 4/15/19 7:02 PM, Дилян Палаузов wrote: > this information is in the manual page, but not in the info files. The > latter state e.g. for --no-run-if-empty, that > this is a “GNU extension”.
Actually, there's a lot redundancy between the man page and the texinfo manual, and also quite a lot which is not in sync (as in your example). IMO maintaining both is quite some effort, and ideally all should be merged into the texinfo format (of which HTML and PDF versions are generated) [1], and find.1 should be generated from and contain just a bit more than 'find --help'. A pity that merging both formats is a huge effort already ... [1] https://www.gnu.org/prep/standards/html_node/Man-Pages.html Have a nice day, Berny
