Tom Lane writes:
> BUT: the reason I put up with it was I thought we couldn't change it
> without causing the built docs to be deleted. Since those are supposed
> to be in the distribution tarball, won't "make distclean" now remove
> stuff that needs to be kept?
The built docs are never cleaned. I only made it descent into doc/src for
cleaning in addition to what it was doing.
--
Peter Eisentraut peter_e(at)gmx(dot)net