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

On tor, 2010-08-26 at 14:06 -0400, Tom Lane wrote:
> Peter Eisentraut <peter_e(at)gmx(dot)net> writes:
> > We could fix this in several ways. Either hardcode exceptions for the
> > 'html' directory in prep_buildtree, or only create directories that
> > contain a makefile, which could also be achieved by pruning empty
> > directories at the end of prep_buildtree. All of these might have other
> > side effects I'm not seeing right now.
>
> I looked at this some more and now understand the failure mechanism;
> I misunderstood your explanation before. I think that the simplest
> and most reliable fix is your first alternative, ie, hack prep_buildtree
> to not auto-create an html directory (we might need the same for the
> man dirs, not sure). This should work for all cases, both building
> docs in a VPATH and using pre-built docs from the source tree (but
> I will check that). This is a bit ugly, for sure, but anything that
> might have side-effects elsewhere in the build tree will require
> more testing than we have time for. Since the 9.0RC1 wrap deadline
> is hard upon us, I'm going to go implement the simple fix.

Yes, man pages need the same treatment.

If you have "find" superpowers, maybe you can tell it not to process
anything below doc/src/sgml/.