diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 60ab2ae9b99..70f9e7b5e71 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1716,6 +1716,7 @@ build-postgresql:
If you built the world without the documentation above, type instead:
make install-world-bin
+