Seems like make clean or make distclean should clean out contrib

directories too, not only src and doc.

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 4bd2c5f94ea366db52f60c1b46be2bec1f74246f..2d0327aec0bc637bd67ee1535e37ece955d765a8 100644 (file)
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -1,7 +1,7 @@
 #
 # PostgreSQL top level makefile
 #
-# $Header: /cvsroot/pgsql/GNUmakefile.in,v 1.14 2000/10/02 22:21:21 petere Exp $
+# $Header: /cvsroot/pgsql/GNUmakefile.in,v 1.15 2000/12/04 00:34:40 tgl Exp $
 #
 
 subdir =
@@ -18,14 +18,22 @@ install:
        $(MAKE) -C src install
        @cat $(srcdir)/register.txt
 
-installdirs uninstall clean distprep:
+installdirs uninstall distprep:
        $(MAKE) -C doc $@
        $(MAKE) -C src $@
 
-# Important: distclean `doc' before `src', otherwise Makefile.global
+# clean, distclean, etc should apply to contrib too, even though
+# it's not built by default
+clean:
+       $(MAKE) -C doc $@
+       $(MAKE) -C contrib $@
+       $(MAKE) -C src $@
+
+# Important: distclean `src' last, otherwise Makefile.global
 # will be gone too soon.
 distclean maintainer-clean:
        -$(MAKE) -C doc $@
+       -$(MAKE) -C contrib $@
        -$(MAKE) -C src $@
        -rm -f config.cache config.log config.status GNUmakefile