Peter Eisentraut <peter_e@gmx.net> writes:
> On tis, 2009-08-18 at 13:43 -0400, Tom Lane wrote:
>> 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.
Well, Teodor's commit today did include doc updates.
I'm leaning more towards the "make install-docs" solution after further
thought. One thing that's always been a bit bogus about make install
is that it installs the docs only if they're there. With a separate
top-level target, it would be reasonable to throw an error if the
docs aren't there and can't be built.
regards, tom lane