diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2017-10-08 22:00:57 -0400 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2017-10-10 10:15:57 -0400 |
| commit | 44b3230e821e7a0cc4e9438d1c27305d533edacc (patch) | |
| tree | 9ef61b597794c0aedaa099223a0c5aed0a5c2571 /doc/src/sgml/ref/create_user_mapping.sgml | |
| parent | 82c117cb90e6b6b79f06d61eb1ddf06e94e75b60 (diff) | |
Use lower-case SGML attribute values
for DocBook XML compatibility
Diffstat (limited to 'doc/src/sgml/ref/create_user_mapping.sgml')
| -rw-r--r-- | doc/src/sgml/ref/create_user_mapping.sgml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/src/sgml/ref/create_user_mapping.sgml b/doc/src/sgml/ref/create_user_mapping.sgml index 1c44679a985..d6f29c94893 100644 --- a/doc/src/sgml/ref/create_user_mapping.sgml +++ b/doc/src/sgml/ref/create_user_mapping.sgml @@ -23,7 +23,7 @@ PostgreSQL documentation <synopsis> CREATE USER MAPPING [IF NOT EXISTS] FOR { <replaceable class="parameter">user_name</replaceable> | USER | CURRENT_USER | PUBLIC } SERVER <replaceable class="parameter">server_name</replaceable> - [ OPTIONS ( <replaceable class="PARAMETER">option</replaceable> '<replaceable class="PARAMETER">value</replaceable>' [ , ... ] ) ] + [ OPTIONS ( <replaceable class="parameter">option</replaceable> '<replaceable class="parameter">value</replaceable>' [ , ... ] ) ] </synopsis> </refsynopsisdiv> @@ -86,7 +86,7 @@ CREATE USER MAPPING [IF NOT EXISTS] FOR { <replaceable class="parameter">user_na </varlistentry> <varlistentry> - <term><literal>OPTIONS ( <replaceable class="PARAMETER">option</replaceable> '<replaceable class="PARAMETER">value</replaceable>' [, ... ] )</literal></term> + <term><literal>OPTIONS ( <replaceable class="parameter">option</replaceable> '<replaceable class="parameter">value</replaceable>' [, ... ] )</literal></term> <listitem> <para> This clause specifies the options of the user mapping. The |