On Mon, 29 Apr 2002, Karl Berry wrote:
> 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? Yes, but this is a much lesser ``visibility'', and it can be taken care of with a second argument of the @xref. In a menu, this is much harder. > As for the original question, does + in a filename allowed in DOS? No. _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
