Re: [PATCH] build: Add --disable-manpages configure option