chiark / gitweb /
man: fix display of keys which appear in two sections in directive index