diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index e1751b5d2b7..6cfcffa6104 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1673,6 +1673,7 @@ PostgreSQL, contrib, and documentation successfully made. Ready to install.
If you built the world without the documentation above, type instead:
make install-world-bin
+