add missing tag from commit b8c4261e5e

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