Fabien COELHO <coelho(at)cri(dot)ensmp(dot)fr> writes:
> When trying to build the documentation there is a minor warning:
> collateindex.pl: duplicated index entry found: MEDIAN
See
https://www.postgresql.org/message-id/29262.1483053514@sss.pgh.pa.us
I've been waiting for some clarification on that before attempting
to fix this. In any case, your proposed patch would remove the main
index entry, which doesn't seem like what we want.
regards, tom lane