K 10
svn:author
V 8
keramida
K 8
svn:date
V 27
2013-03-11T16:35:12.497395Z
K 7
svn:log
V 329
Remove duplicate index entry, which is repeated a few lines above

We don't have support for multiple <indexterm> elements pointing to
different parts of the same <sect1> right now. It requires a few
radical changes to collateindex.pl, so we can only have _one_ point
for each indexterm in each sect1.

Approved by:	gjb (mentor)

END
