diff options
Diffstat (limited to 'doc/src/sgml/ref/drop_user_mapping.sgml')
| -rw-r--r-- | doc/src/sgml/ref/drop_user_mapping.sgml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/src/sgml/ref/drop_user_mapping.sgml b/doc/src/sgml/ref/drop_user_mapping.sgml index de21bfe5d7..ddfad0bcad 100644 --- a/doc/src/sgml/ref/drop_user_mapping.sgml +++ b/doc/src/sgml/ref/drop_user_mapping.sgml @@ -4,6 +4,10 @@ PostgreSQL documentation --> <refentry id="SQL-DROPUSERMAPPING"> + <indexterm zone="sql-dropusermapping"> + <primary>DROP USER MAPPING</primary> + </indexterm> + <refmeta> <refentrytitle>DROP USER MAPPING</refentrytitle> <manvolnum>7</manvolnum> @@ -15,10 +19,6 @@ PostgreSQL documentation <refpurpose>remove a user mapping for a foreign server</refpurpose> </refnamediv> - <indexterm zone="sql-dropusermapping"> - <primary>DROP USER MAPPING</primary> - </indexterm> - <refsynopsisdiv> <synopsis> DROP USER MAPPING [ IF EXISTS ] FOR { <replaceable class="parameter">user_name</replaceable> | USER | CURRENT_USER | PUBLIC } SERVER <replaceable class="parameter">server_name</replaceable> |