On Friday 21 November 2008 23:33:47 Tom Lane wrote:
> Historically the man.tar.gz files were created manually because there
> were some manual fixups needed to the generated man files. I'm not sure
> what vestiges of that still remain --- Peter's generally been the one to
> take care of it. But we definitely aren't shipping a freshly generated
> copy in the nightly snapshot right now.
I don't actually know how the snapshots are built, so I don't know how to fix
it.
> If we do have a fully automated process now, it's probably fair to ask
> why there's an internal tarball involved at all, rather than just
> shipping the built man1/ and man7/ subdirectories (and likewise for the
> html). Double compression of that data isn't going to be helpful.
Fixing all this is definitely my plan for 8.4, but we are not there yet.