On mån, 2010-09-13 at 13:51 -0400, Tom Lane wrote:
> Peter Eisentraut <peter_e@gmx.net> writes:
> > The correct way to do what he wants to do is
> > configure PYTHON=/usr/local/bin/python3.1 ... other options ...
>
> Hm, maybe this isn't adequately documented? Or at least should be
> cross-referenced where we talk about python2 vs python3?
It is documented and cross-referenced.