Bruce Momjian <pgman@candle.pha.pa.us> writes:
> I see a man.tar.gz on the ftp site in the /dev/doc directory. Shouldn't
> those file be added to the web site and main ftp directories?
It's part of the distribution tarball already, no?
regards, tom lane
