>   Makeinfo allows only the portable characters in file names, so I don't 
>   think we should allow `+'.  If we do, we would have hard time explaining 
>   why other characters are not allowed.

Yes, please stick to portable filename characters.

_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo

Reply via email to