> Since pg_upgrade will not work for 7.1, should its installation be
> prevented and the man page be disabled?
Probably. I am not sure it will ever be used again now that we have
numeric file names.
-- Bruce Momjian | http://candle.pha.pa.us pgman@candle.pha.pa.us | (610)
853-3000+ If your life is a hard drive, | 830 Blythe Avenue + Christ can be your backup. | Drexel Hill,
Pennsylvania19026