> 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(at)candle(dot)pha(dot)pa(dot)us | (610) 853-3000
+ If your life is a hard drive, | 830 Blythe Avenue
+ Christ can be your backup. | Drexel Hill, Pennsylvania 19026