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?
regards, tom lane