pgsql: Doc: remove duplicate index entry.

Started by Tom Laneover 9 years ago1 messagescomitters
Jump to latest
#1Tom Lane
tgl@sss.pgh.pa.us

Doc: remove duplicate index entry.

This causes a warning with the old html-docs toolchain, though not with the
new. I had originally supposed that we needed both <indexterm> entries to
get both a primary index entry and a see-also link; but evidently not,
as pointed out by Fabien Coelho.

Discussion: /messages/by-id/alpine.DEB.2.20.1702161616060.5445@lancre

Branch
------
REL9_5_STABLE

Details
-------
http://git.postgresql.org/pg/commitdiff/d993171a7aa212db479ec53b47881b4e677d0b5c

Modified Files
--------------
doc/src/sgml/syntax.sgml | 3 ---
1 file changed, 3 deletions(-)

--
Sent via pgsql-committers mailing list (pgsql-committers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-committers