Tom Lane wrote:
> Oh, I see the problem. In doc/Makefile, recent versions pass the
> "make distclean" operation down to doc/src, but 7.2's doesn't.
> Peter, any idea why it was like that back then?
The doc tree isn't built by default, so I guess no one had ever thought
of cleaning it by default, either. Of course, as it turns out,
cleaning it by default is a good idea.
--
Peter Eisentraut
http://developer.postgresql.org/~petere/