diff options
Diffstat (limited to 'GNUmakefile.in')
| -rw-r--r-- | GNUmakefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/GNUmakefile.in b/GNUmakefile.in index e131e13435..7cdfb95473 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -1,7 +1,7 @@ # # PostgreSQL top level makefile # -# $Header: /cvsroot/pgsql/GNUmakefile.in,v 1.16 2001/01/06 21:24:01 petere Exp $ +# $Header: /cvsroot/pgsql/GNUmakefile.in,v 1.17 2001/02/10 02:31:25 tgl Exp $ # subdir = @@ -22,6 +22,9 @@ installdirs uninstall distprep: $(MAKE) -C doc $@ $(MAKE) -C src $@ +install-all-headers: + $(MAKE) -C src $@ + # clean, distclean, etc should apply to contrib too, even though # it's not built by default clean: |