Bruce Momjian <pgman(at)candle(dot)pha(dot)pa(dot)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