aboutsummaryrefslogtreecommitdiff
path: root/doc/src/sgml/ref/drop_user_mapping.sgml
diff options
context:
space:
mode:
authorPeter Eisentraut <peter_e@gmx.net>2017-10-08 21:44:17 -0400
committerPeter Eisentraut <peter_e@gmx.net>2017-10-17 15:10:33 -0400
commitc29c578908dc0271eeb13a4014e54bff07a29c05 (patch)
tree1aa03fb6f1864719f2f23d4b0b9d5e2865764082 /doc/src/sgml/ref/drop_user_mapping.sgml
parent6ecabead4b5993c42745f2802d857b1a79f48bf9 (diff)
downloadpostgresql-c29c578908dc0271eeb13a4014e54bff07a29c05.tar.gz
postgresql-c29c578908dc0271eeb13a4014e54bff07a29c05.zip
Don't use SGML empty tags
For DocBook XML compatibility, don't use SGML empty tags (</>) anymore, replace by the full tag name. Add a warning option to catch future occurrences. Alexander Lakhin, Jürgen Purtz
Diffstat (limited to 'doc/src/sgml/ref/drop_user_mapping.sgml')
-rw-r--r--doc/src/sgml/ref/drop_user_mapping.sgml14
1 files changed, 7 insertions, 7 deletions
diff --git a/doc/src/sgml/ref/drop_user_mapping.sgml b/doc/src/sgml/ref/drop_user_mapping.sgml
index eb4c3202939..27284acae4c 100644
--- a/doc/src/sgml/ref/drop_user_mapping.sgml
+++ b/doc/src/sgml/ref/drop_user_mapping.sgml
@@ -36,7 +36,7 @@ DROP USER MAPPING [ IF EXISTS ] FOR { <replaceable class="parameter">user_name</
<para>
The owner of a foreign server can drop user mappings for that server
for any user. Also, a user can drop a user mapping for their own
- user name if <literal>USAGE</> privilege on the server has been
+ user name if <literal>USAGE</literal> privilege on the server has been
granted to the user.
</para>
</refsect1>
@@ -59,9 +59,9 @@ DROP USER MAPPING [ IF EXISTS ] FOR { <replaceable class="parameter">user_name</
<term><replaceable class="parameter">user_name</replaceable></term>
<listitem>
<para>
- User name of the mapping. <literal>CURRENT_USER</>
- and <literal>USER</> match the name of the current
- user. <literal>PUBLIC</> is used to match all present and
+ User name of the mapping. <literal>CURRENT_USER</literal>
+ and <literal>USER</literal> match the name of the current
+ user. <literal>PUBLIC</literal> is used to match all present and
future user names in the system.
</para>
</listitem>
@@ -82,7 +82,7 @@ DROP USER MAPPING [ IF EXISTS ] FOR { <replaceable class="parameter">user_name</
<title>Examples</title>
<para>
- Drop a user mapping <literal>bob</>, server <literal>foo</> if it exists:
+ Drop a user mapping <literal>bob</literal>, server <literal>foo</literal> if it exists:
<programlisting>
DROP USER MAPPING IF EXISTS FOR bob SERVER foo;
</programlisting></para>
@@ -93,8 +93,8 @@ DROP USER MAPPING IF EXISTS FOR bob SERVER foo;
<para>
<command>DROP USER MAPPING</command> conforms to ISO/IEC 9075-9
- (SQL/MED). The <literal>IF EXISTS</> clause is
- a <productname>PostgreSQL</> extension.
+ (SQL/MED). The <literal>IF EXISTS</literal> clause is
+ a <productname>PostgreSQL</productname> extension.
</para>
</refsect1>