I am using auctex 11.55 in combination with xemacs 21.4.17 in a
multifile environment. I have some trouble with the "Renumber simple
labels" command. When I invoke this command, I receive the warning that
it might be risky. When continuing, the text "Duplicate label eq:2"
appears in the bottom of the screen, but a "Find duplicate labels"
reveals that the labels are not renumbered. What am I doing wrong?