On 07/08/2011 04:01 PM, Florian Haas wrote:
> Erm, NACK. :) That way to build the man pages is now obsolete. Thanks a
> lot for the patch nonetheless, it highlighted an important omission.
> I've fixed the README for the right way to do this now.
> 
> And as an aside, when a make variable is defined with "?=" as opposed to
> ":=", then it's meant to be overridden from the environment.

Lars just corrected me on this one (you learn something every day): even
a := variable can be overridden from the command line. Anyhow, that's
what you could have done, rather than edit the Makefile. :)

Cheers,
Florian