doc: Change some "user" to "role" for consistency in the section

suggested by Johannes Choo

diff --git a/doc/src/sgml/ddl.sgml b/doc/src/sgml/ddl.sgml
index 6a3b622098002489c0af37d2d9c9c71019861128..f2055b0d587d9371c0608d7f6ff135665ecfc890 100644 (file)
--- a/doc/src/sgml/ddl.sgml
+++ b/doc/src/sgml/ddl.sgml
@@ -1466,7 +1466,7 @@ ALTER TABLE products RENAME TO items;
 
   
    To assign privileges, the GRANT command is
-   used. For example, if joe is an existing user, and
+   used. For example, if joe is an existing role, and
    accounts is an existing table, the privilege to
    update the table can be granted with:
 
@@ -1477,8 +1477,8 @@ GRANT UPDATE ON accounts TO joe;
   
 
   
-   The special user name PUBLIC can
-   be used to grant a privilege to every user on the system.  Also,
+   The special role name PUBLIC can
+   be used to grant a privilege to every role on the system.  Also,
    group roles can be set up to help manage privileges when
    there are many users of a database — for details see
    .