But anchors don't, so you should be at liberty to choose a different
name, no?An anchor could appear in a cross-reference command and thus be visible (in a way), couldn't it? As for the original question, does + in a filename allowed in DOS? If it doesn't, clearly we cannot allow it. If it does, I think we may as well. Thanks, karl _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
