doc: Move CREATE ROLE's IN GROUP and USER to deprecated

Reported-by: [email protected]
Discussion: https://postgr.es/m/167473556945.2667294.2003897901995802549@wrigleys.postgresql.org

Backpatch-through: master

diff --git a/doc/src/sgml/ref/create_role.sgml b/doc/src/sgml/ref/create_role.sgml
index 7249fc74324d6d400000c3db22d51b7b7ba743ba..8dd2a6395c4273a02d2bd764d0df7f24d97ed56f 100644 (file)
--- a/doc/src/sgml/ref/create_role.sgml
+++ b/doc/src/sgml/ref/create_role.sgml
@@ -36,10 +36,8 @@ CREATE ROLE name [ [ WITH ] 
     | [ ENCRYPTED ] PASSWORD 'password' | PASSWORD NULL
     | VALID UNTIL 'timestamp'
     | IN ROLE role_name [, ...]
-    | IN GROUP role_name [, ...]
     | ROLE role_name [, ...]
     | ADMIN role_name [, ...]
-    | USER role_name [, ...]
     | SYSID uid
 
  
@@ -294,15 +292,6 @@ in sync when changing the above synopsis!
       
      
 
-     
-      IN GROUP role_name
-      
-       IN GROUP is an obsolete spelling of
-        IN ROLE.
-       
-      
-     
-
      
       ROLE role_name
       
@@ -326,16 +315,6 @@ in sync when changing the above synopsis!
       
      
 
-     
-      USER role_name
-      
-       
-        The USER clause is an obsolete spelling of
-        the ROLE clause.
-       
-      
-     
-
      
       SYSID uid
       
@@ -484,6 +463,22 @@ CREATE ROLE name [ WITH ADMIN 
    by giving users the NOINHERIT attribute, while roles are
    given the INHERIT attribute.
   
+
+  
+   The USER clause has the same behavior as
+   ROLE but has been deprecated:
+
+USER role_name [, ...]
+
+  
+
+  
+   The IN GROUP clause has the same behavior as IN
+   ROLE but has been deprecated:
+
+IN GROUP role_name [, ...]
+
+