> So let's remove the warning, change the Texinfo sources back to > using : as they should, and give ourselves some time to work on the > real solution.
Excellent idea. I'm now aware of the problem and I can fix my index
entries.
Werner
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
