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@gmx.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.