Re: "make install" now tries to build the documentation

On Thu, 2009-10-01 at 15:17 -0400, Alvaro Herrera wrote:
> Peter Eisentraut wrote:
> 
> > I'm not exactly sure what the goal is, however.  You built the
> > documentation at some point.  Then it gets updated when necessary.  You
> > can delete the documentation by running make -C doc maintainer-clean.
> > Then it's gone forever and never reappears unless you explicitly build
> > it again.
> 
> I think this bit is missing something; the html-stamp file is created on
> the builddir, but maintainer-clean is trying to delete it from the
> source dir.

Yeah, I missed something there, apparently.  I don't use vpath builds so
much, so if you find more things like that, please clean them up or tell
me.