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.