On Sun, Jan 29, 2012 at 10:33:01AM +0100, 'Patrice Dumas' wrote: > My personal opinion (and it shouldn't be really surprising, since I > also wrote a mail proposing a new command for anchors...) is that > index entries and anchors are different, serve a different editing > purpose and should be specified with different commands.
I agree; index entries and anchor targets should be different commands. Ronald
