Since pg_upgrade will not work for 7.1, should its installation beprevented and the man page be disabled?
-- Peter Eisentraut peter_e(at)gmx(dot)net http://yi.org/peter-e/