Call SET varaiables "configuration_parameter"s in the documentation.

diff --git a/doc/src/sgml/ref/alter_role.sgml b/doc/src/sgml/ref/alter_role.sgml
index bfa739efa5438a0f91387a265c8553103801b542..a70b56eab298bce94c9fddbf6a33672820296b50 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 varname { TO | = } { value | DEFAULT }
-ALTER ROLE name RESET varname
+ALTER ROLE name SET configuration_parameter { TO | = } { value | DEFAULT }
+ALTER ROLE name RESET configuration_parameter
 
  
 
@@ -143,7 +143,7 @@ ALTER ROLE name RESET 
      
 
      
-      varname
+      configuration_parameter
       value
       
        

diff --git a/doc/src/sgml/ref/alter_user.sgml b/doc/src/sgml/ref/alter_user.sgml
index 909be0b1d4cb1cededff936fe8625cab8d4b9907..644b9a41fe3f36ac28813ab45f77a60c5eca0abd 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 varname { TO | = } { value | DEFAULT }
-ALTER USER name RESET varname
+ALTER USER name SET configuration_parameter { TO | = } { value | DEFAULT }
+ALTER USER name RESET configuration_parameter
 
  
 

diff --git a/doc/src/sgml/ref/reset.sgml b/doc/src/sgml/ref/reset.sgml
index f8729d3fdaebd52c7091c40f5b383be139d96786..2d70903cee9ee94390dec0b866179b97545f4100 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 varname
+RESET configuration_parameter
 RESET ALL
 
  
@@ -33,7 +33,7 @@ RESET ALL
    default values.  RESET is an alternative
    spelling for
 
-SET varname TO DEFAULT
+SET configuration_parameter TO DEFAULT
 
    Refer to  for
    details.
@@ -62,7 +62,7 @@ SET varname TO DEFAULT
 
   
    
-    varname
+    configuration_parameter
     
      
       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 57e6aeecd38a619cc3af4295fcfe90f424517728..057a7958c8680a40b9edf12cca7f9f7e70556e55 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 ] varname { TO | = } { value | 'value' | DEFAULT }
+SET [ SESSION | LOCAL ] configuration_parameter { TO | = } { value | 'value' | DEFAULT }
 SET [ SESSION | LOCAL ] TIME ZONE { timezone | LOCAL | DEFAULT }
 
  
@@ -91,7 +91,7 @@ SET [ SESSION | LOCAL ] TIME ZONE { timezone
    
 
    
-    varname
+    configuration_parameter
     
      
       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 57e6aeecd38a619cc3af4295fcfe90f424517728..057a7958c8680a40b9edf12cca7f9f7e70556e55 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 ] varname { TO | = } { value | 'value' | DEFAULT }
+SET [ SESSION | LOCAL ] configuration_parameter { TO | = } { value | 'value' | DEFAULT }
 SET [ SESSION | LOCAL ] TIME ZONE { timezone | LOCAL | DEFAULT }
 
  
@@ -91,7 +91,7 @@ SET [ SESSION | LOCAL ] TIME ZONE { timezone
    
 
    
-    varname
+    configuration_parameter
     
      
       Name of a settable run-time parameter.  Available parameters are