On Fri, Mar 20, 2020 at 6:32 PM Jürgen Purtz <juer...@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.