diff options
author | Andrew Dunstan <andrew@dunslane.net> | 2021-07-01 15:43:31 -0400 |
---|---|---|
committer | Andrew Dunstan <andrew@dunslane.net> | 2021-07-01 15:44:06 -0400 |
commit | 177531ee0ef44ba55b24deb29a8820d19defac50 (patch) | |
tree | b4488708796481475ebbc421e5b7dc225e9c880c | |
parent | b796435be0039b44074ad9b322ea6ab35078de1e (diff) |
add missing tag from commit b8c4261e5e
-rw-r--r-- | doc/src/sgml/installation.sgml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml index e1751b5d2b7..6cfcffa6104 100644 --- a/doc/src/sgml/installation.sgml +++ b/doc/src/sgml/installation.sgml @@ -1673,6 +1673,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> |