Change "parameter" to "varname" in the alter role and alter user

documentation sections.  Also update SET/RESET to be consistent.

Nicolas Barbier

diff --git a/doc/src/sgml/ref/alter_role.sgml b/doc/src/sgml/ref/alter_role.sgml
index 641c4ef377ce8fe06b6bda4f7b44ab3b2ccc9e1c..bfa739efa5438a0f91387a265c8553103801b542 100644 (file)
--- a/doc/src/sgml/ref/alter_role.sgml
+++ b/doc/src/sgml/ref/alter_role.sgml
@@ -1,5 +1,5 @@
 
 
@@ -36,8 +36,8 @@ where option can be:
 
 ALTER ROLE name RENAME TO newname
 
-ALTER ROLE name SET parameter { TO | = } { value | DEFAULT }
-ALTER ROLE name RESET parameter
+ALTER ROLE name SET varname { TO | = } { value | DEFAULT }
+ALTER ROLE name RESET varname
 
  
 
@@ -143,7 +143,7 @@ ALTER ROLE name RESET 
      
 
      
-      parameter
+      varname
       value
       
        

diff --git a/doc/src/sgml/ref/alter_user.sgml b/doc/src/sgml/ref/alter_user.sgml
index d5dc3f1fca34d37f02aa5c1012fe876c9788fe28..909be0b1d4cb1cededff936fe8625cab8d4b9907 100644 (file)
--- a/doc/src/sgml/ref/alter_user.sgml
+++ b/doc/src/sgml/ref/alter_user.sgml
@@ -1,5 +1,5 @@
 
 
@@ -36,8 +36,8 @@ where option can be:
 
 ALTER USER name RENAME TO newname
 
-ALTER USER name SET parameter { TO | = } { value | DEFAULT }
-ALTER USER name RESET parameter
+ALTER USER name SET varname { TO | = } { value | DEFAULT }
+ALTER USER name RESET varname
 
  
 

diff --git a/doc/src/sgml/ref/reset.sgml b/doc/src/sgml/ref/reset.sgml
index da4c9b191cf71f5d2d4bdc3d6492b827e2e3a4a9..f8729d3fdaebd52c7091c40f5b383be139d96786 100644 (file)
--- a/doc/src/sgml/ref/reset.sgml
+++ b/doc/src/sgml/ref/reset.sgml
@@ -1,5 +1,5 @@
 
 
@@ -20,7 +20,7 @@ PostgreSQL documentation
 
  
 
-RESET name
+RESET varname
 RESET ALL
 
  
@@ -33,7 +33,7 @@ RESET ALL
    default values.  RESET is an alternative
    spelling for
 
-SET parameter TO DEFAULT
+SET varname TO DEFAULT
 
    Refer to  for
    details.
@@ -62,7 +62,7 @@ SET parameter TO DEFAULT
 
   
    
-    name
+    varname
     
      
       The name of a run-time parameter. See 


diff --git a/doc/src/sgml/ref/set.sgml b/doc/src/sgml/ref/set.sgml

index 34d60789083e1a159db455069b138888e94cca8b..57e6aeecd38a619cc3af4295fcfe90f424517728 100644 (file)

--- a/doc/src/sgml/ref/set.sgml
+++ b/doc/src/sgml/ref/set.sgml
@@ -1,5 +1,5 @@
 
 
@@ -20,7 +20,7 @@ PostgreSQL documentation
 
  
 
-SET [ SESSION | LOCAL ] name { TO | = } { value | 'value' | DEFAULT }
+SET [ SESSION | LOCAL ] varname { TO | = } { value | 'value' | DEFAULT }
 SET [ SESSION | LOCAL ] TIME ZONE { timezone | LOCAL | DEFAULT }
 
  
@@ -91,7 +91,7 @@ SET [ SESSION | LOCAL ] TIME ZONE { timezone
    
 
    
-    name
+    varname
     
      
       Name of a settable run-time parameter.  Available parameters are

diff --git a/doc/src/sgml/ref/set.sgml b/doc/src/sgml/ref/set.sgml
index 34d60789083e1a159db455069b138888e94cca8b..57e6aeecd38a619cc3af4295fcfe90f424517728 100644 (file)
--- a/doc/src/sgml/ref/set.sgml
+++ b/doc/src/sgml/ref/set.sgml
@@ -1,5 +1,5 @@
 
 
@@ -20,7 +20,7 @@ PostgreSQL documentation
 
  
 
-SET [ SESSION | LOCAL ] name { TO | = } { value | 'value' | DEFAULT }
+SET [ SESSION | LOCAL ] varname { TO | = } { value | 'value' | DEFAULT }
 SET [ SESSION | LOCAL ] TIME ZONE { timezone | LOCAL | DEFAULT }
 
  
@@ -91,7 +91,7 @@ SET [ SESSION | LOCAL ] TIME ZONE { timezone
    
 
    
-    name
+    varname
     
      
       Name of a settable run-time parameter.  Available parameters are