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

Alvaro Herrera <alvherre@commandprompt.com> writes:
> 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.

That's not going to work: it would mean that make would try to rebuild
the docs from scratch instead of installing the prebuilt ones like it's
supposed to.

I'm inclined to think the right fix is that the docs should be built
into $srcdir even in a VPATH build.  I'm no make guru though.  Peter?

            regards, tom lane