]> git.ipfire.org Git - thirdparty/postgresql.git/commit
projects / thirdparty / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d1b6bf) | 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:17 +0000 (11:30 -0500)
commitd993171a7aa212db479ec53b47881b4e677d0b5c
tree100422cf9d47e160659805690b9312e57a086681tree
parent7d1b6bf407ad19247f0a65aaf742b769e0938b2ccommit | 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
Mirror of https://git.postgresql.org/git/postgresql.git