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