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(-) -- Sent via pgsql-committers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-committers
