Re: [PATCH] build: Add --disable-man-pages option

[Karl Berry]

Sorry, I'm not inclined to complicate my configure script with an option
that I can't plausibly document in order to placate your build system.
Presumably you can install the patch as part of your build.

k