projects / users / heikki / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5940730) | patch
Doc: remove duplicate index entry.
authorTom Lane <tgl@sss.pgh.pa.us>
Thu, 16 Feb 2017 16:30:07 +0000 (11:30 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Thu, 16 Feb 2017 16:30:07 +0000 (11:30 -0500)
commit3b7673388da3598933ae6c4f9fdc7c79dee05558
tree7191356f8e5f5ff49675b95958a4298abb6af98ctree
parent59407301a39f47e35098a1c211f154adcd2bdaf9commit | diff
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
doc/src/sgml/syntax.sgml diff | blob | blame | history
Heikki's random PostgreSQL patches