On Fri, Mar 20, 2020 at 6:32 PM Jürgen Purtz <juergen@purtz.de> wrote:
man pages: Sorry, if I confused someone with my poor English. I just want to express in my 'offline' mail that we don't have to worry about man page generation. The patch doesn't affect files in the /ref subdirectory from where man pages are created.
It wasn't your poor English - everyone else understood what you meant. I had wondered if our docs went into man page format as well, so my research was still time well spent.