[ scratches head... ]
Magic:-)While testing with "oldhtml" I found that the "maintainer-clean" targets in "sgml" does not clean enough: it lacks cleaning the "oldhtml-stamp".
See attached very minor fix. -- Fabien.
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index fe7ca65..897c9c9 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -410,6 +410,6 @@ distclean: clean maintainer-clean: distclean # HTML - rm -fr html/ html-stamp + rm -fr html/ html-stamp oldhtml-stamp # man rm -rf man1/ man3/ man7/ man-stamp
-- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
