[COMMITTERS] pgsql: Doc: remove duplicate index entry. - Mailing list pgsql-committers

From Tom Lane
Subject [COMMITTERS] pgsql: Doc: remove duplicate index entry.
Date
Msg-id E1ceOxE-00022U-Dq@gemulon.postgresql.org
Whole thread Raw
List pgsql-committers
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: https://postgr.es/m/alpine.DEB.2.20.1702161616060.5445@lancre

Branch
------
REL9_4_STABLE

Details
-------
http://git.postgresql.org/pg/commitdiff/4bd0f83172561beb4ced58231ff96314e2a7a742

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


pgsql-committers by date:

Previous
From: Robert Haas
Date:
Subject: [COMMITTERS] pgsql: Avoid crash in ALTER TABLE not_partitioned DETACH PARTITION.
Next
From: Robert Haas
Date:
Subject: [COMMITTERS] pgsql: Add new function dsa_allocate0.