Make the reference to "CREATE USER" in the CREATE ROLE page a link.

This might help to avoid confusion between the CREATE USER command,
and the deprecated CREATEUSER option to CREATE ROLE, as per a recent
complaint from Ron Adams.  At any rate, having a cross-link here
seems like a good idea; two commands that are so similar should
reference each other.

diff --git a/doc/src/sgml/ref/create_role.sgml b/doc/src/sgml/ref/create_role.sgml
index 5a939346e7aabb74aa7c1ecfec3233661f1be6ae..4953df678dc2f1a9098db860fdba23b211af3d6b 100644 (file)
--- a/doc/src/sgml/ref/create_role.sgml
+++ b/doc/src/sgml/ref/create_role.sgml
@@ -170,7 +170,7 @@ CREATE ROLE name [ [ WITH ] 
         If not specified,
         NOLOGIN is the default, except when
         CREATE ROLE is invoked through its alternative spelling
-        <command>CREATE USER>.
+        <xref linkend="sql-createuser">.