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. -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers