diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2014-02-23 21:25:35 -0500 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2014-02-23 21:31:08 -0500 |
| commit | bb4eefe7bf518e42c73797ea37b033a5d8a8e70a (patch) | |
| tree | ae6df0b5d00f91bb4c7921673f79dca66642f850 /doc/src/sgml/ref/drop_user_mapping.sgml | |
| parent | 769065c1b2471f484bb48bb58a8bdcf1d12a419c (diff) | |
doc: Improve DocBook XML validity
DocBook XML is superficially compatible with DocBook SGML but has a
slightly stricter DTD that we have been violating in a few cases.
Although XSLT doesn't care whether the document is valid, the style
sheets don't necessarily process invalid documents correctly, so we need
to work toward fixing this.
This first commit moves the indexterms in refentry elements to an
allowed position. It has no impact on the output.
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 de21bfe5d7a..ddfad0bcadb 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> |