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

Excerpts from Alvaro Herrera's message of jue ago 26 17:01:14 -0400 2010:
> Excerpts from Alvaro Herrera's message of jue ago 26 16:46:42 -0400 2010:
> > Excerpts from Tom Lane's message of jue ago 26 16:38:07 -0400 2010:

> > > Those wildcards look a bit scary, although I suppose only a really
> > > perverse person would put their PG source tree underneath a path
> > > containing that.
> >
> > Hmm, perhaps it can be
> >     -path "$sourcetree/doc/src/sgml/*"
>
> Yeah, this works for me (i.e. it creates doc/src/sgml but not anything
> under it), though I didn't test whether this fixes the original problem.

I confirmed last night that it fixes the problem (install docs on a
VPATH built from a tarball), so I committed it and removed the rmdirs.

Served nicely as a test case for my git pull/push workflow.

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