Re: HEAD build failure on win32 mingw

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.