"Marc G. Fournier" <scrappy@postgresql.org> writes:
> I just got 7.2.5 done now ... I pulled the man.tar.gz file from 7.2.4 and
> put a copy of it into ~ftp/pub/dev/doc/man-7.2.tar.gz (in case its needed
> in the future) ...
The 7.2.5 tarball is considerably bigger than 7.2.4; this seems to be
because the built .html files are laying about in doc/src/sgml, instead
of having been deleted again ...
regards, tom lane