add missing tag from commit b8c4261e5e

diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index c9c9be630d560d9a2ff9c140da1c57aad3ead8ba..b3f45e2c0915a49e7037110a3ca1b8bc0c5ec7f3 100644 (file)
--- 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:
 <screen>
 <userinput>make install-world-bin</userinput>
+</screen>
    </para>
 
    <para>