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

Alvaro Herrera <alvherre@commandprompt.com> writes:
> Excerpts from Peter Eisentraut's message of jue ago 26 14:25:31 -0400 2010:
>> If you have "find" superpowers, maybe you can tell it not to process
>> anything below doc/src/sgml/.

> line 25:

> find "$sourcetree" -type d \( -name CVS -prune -o -path "*doc/src/sgml/*" -prune -o -print \)

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.

            regards, tom lane