diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 4d4f13b4987..3c256d751a5 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1631,6 +1631,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
+