diff options
| -rw-r--r-- | GNUmakefile.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/GNUmakefile.in b/GNUmakefile.in index 79b0da42a84..50fae4128aa 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -20,6 +20,9 @@ $(call recurse,world,doc src config contrib,all) world: +@echo "PostgreSQL, contrib, and documentation successfully made. Ready to install." +# build src/ before contrib/ +world-contrib-recurse: world-src-recurse + html man: $(MAKE) -C doc $@ @@ -33,6 +36,9 @@ $(call recurse,install-world,doc src config contrib,install) install-world: +@echo "PostgreSQL, contrib, and documentation installation complete." +# build src/ before contrib/ +install-world-contrib-recurse: install-world-src-recurse + $(call recurse,installdirs uninstall coverage,doc src config) $(call recurse,distprep,doc src config contrib) |