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 5262d0ef78..a1c2e5e73c 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -1,7 +1,7 @@ # # PostgreSQL top level makefile # -# $PostgreSQL: pgsql/GNUmakefile.in,v 1.51 2009/08/07 20:50:21 petere Exp $ +# $PostgreSQL: pgsql/GNUmakefile.in,v 1.52 2009/08/09 22:47:58 petere Exp $ # subdir = @@ -14,6 +14,9 @@ all: $(MAKE) -C config all @echo "All of PostgreSQL successfully made. Ready to install." +html man: + $(MAKE) -C doc $@ + install: $(MAKE) -C doc $@ $(MAKE) -C src $@ |