Re: BUG #5595: Documentation is not installs from VPATH build.

Excerpts from Mark Kirkwood's message of mié ago 04 19:14:07 -0400 2010:
> On 04/08/10 16:55, Tom Lane wrote:
> >
> > You're right, I did. Perhaps the presence of prebuilt docs in the
> > source tree confuses something --- anybody wanna test?
> >
> >
>
> The files that seem to be causing the confusion are:
>
> <src tree>/doc/src/sgml/html-stamp
> <src tree>/doc/src/sgm/man-stamp
>
> A src tree 'maintainer-clean' removes then, but any lesser level of
> clean doesn't. Hmm - shouldn't a VPATH build look at its *own*
> doc/src/sgml/*-stamp files to see if it needs to build the docs? Note
> that it does *create* them in there after a successful build...

I think the VPATH mechanism in gmake looks for files in srcdir and then
in builddir, by default. Not sure if that can be overridden easily.

Maybe those two files should be deleted from the tarball.

--
Álvaro Herrera <alvherre(at)commandprompt(dot)com>
The PostgreSQL Company - Command Prompt, Inc.
PostgreSQL Replication, Consulting, Custom Development, 24x7 support