Peter Eisentraut <peter_e@gmx.net> writes:
> Another thing we should think about is to not tar.gz the documentation
> files. That way we could create useful incremental diffs between releases
> later on. Any comments here?
I've never figured out why we do that. Since the thing is going to be
inside a tarball anyway, there's no possible savings from distributing
the built doco that way, rather than as ordinary files.
regards, tom lane