On Sun, 04 Aug 2013, Rory Yorke <rory.yorke at gmail.com> wrote: > I see the gzipped man files end up in the source tree; I guess ideally > they'd be in the build tree?
Yes; the main point of out-of-tree builds and installs is not to touch the source tree. While I don't have a fix to offer to solve the problem, I'm afraid your patch isn't the fix either. BR, Jani.