diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index fa90e9104a..a88cd21f45 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1599,12 +1599,13 @@ su - postgres
Build
- To start the build, type:
+ To start the build, type either of:
make
+make all
- (Remember to use GNU make.) The build
- will take a few minutes depending on your
+ (Remember to use GNU make.)
+ The build will take a few minutes depending on your
hardware. The last line displayed should be:
All of PostgreSQL successfully made. Ready to install.
@@ -1623,6 +1624,18 @@ All of PostgreSQL successfully made. Ready to install.
PostgreSQL, contrib, and documentation successfully made. Ready to install.
+
+
+ If you want to invoke the build from another makefile rather than
+ manually, you must unset MAKELEVEL or set it to zero,
+ for instance like this:
+
+build-postgresql:
+ $(MAKE) -C postgresql MAKELEVEL=0 all
+
+ Failure to do that can lead to strange error messages, typically about
+ missing header files.
+