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.
--
Alvaro Herrera http://www.CommandPrompt.com/
The PostgreSQL Company - Command Prompt, Inc.
