add missing tag from commit b8c4261e5e

This commit is contained in:
Andrew Dunstan 2021-07-01 15:43:31 -04:00
parent a7e3a390e1
commit 4180417482
No known key found for this signature in database
GPG Key ID: 99FA7FCB59FC3B81
1 changed files with 1 additions and 0 deletions

View File

@ -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>