Re: "make install" now tries to build the documentation

On tis, 2009-08-18 at 13:43 -0400, Tom Lane wrote:
> Peter Eisentraut <peter_e(at)gmx(dot)net> writes:
> > On tis, 2009-08-18 at 12:17 -0400, Tom Lane wrote:
> >> It happens for me on my Fedora box, but not on my HPUX box.
>
> > Assuming no tool bugs, the only way I can see this happening is if you
> > already have built the documentation. Then, make install might cause it
> > to be re-built if dependencies require it.
>
> Um, that might be it. I did what I usually do:
> make distclean
> cvs update
> configure ...
> make
> make install
> but now that you mention it, I might have built the docs in that
> tree yesterday, and "make distclean" no longer cleans them out.
> [ checks overnight backups ... ] Yup, that's it: html/ and html-stamp
> were present in doc/src/sgml/ early this morning.

Still, the documentation should only be rebuilt if any of its
dependencies have changed, not every time you run make or make install.