casa-mp-base

--- GNUmakefile.in.orig 2017-11-06 15:08:55.000000000 -0700

+++ GNUmakefile.in  2017-11-12 00:22:21.000000000 -0700

@@ -16,7 +16,7 @@

 docs:

    $(MAKE) -C doc all

-$(call recurse,world,doc src config contrib,all)

+$(call recurse,world,src config contrib,all)

 world:

    +@echo "PostgreSQL, contrib, and documentation successfully made. Ready to install."

@@ -32,7 +32,7 @@

 install-docs:

    $(MAKE) -C doc install

-$(call recurse,install-world,doc src config contrib,install)

+$(call recurse,install-world,src config contrib,install)

 install-world:

    +@echo "PostgreSQL, contrib, and documentation installation complete."