Re: texinfo macro names don't allow digits

[Aharon Robbins]

Hi Karl.

Thanks for the explanations.  

Arnold

> Date: Fri, 31 Jan 2014 22:09:28 GMT
> From: address@hidden (Karl Berry)
> To: address@hidden
> Cc: address@hidden
> Subject: Re: texinfo macro names don't allow digits
>
> Hi Arnold,
>
>     I admit to not checking, but if this isn't documented, it should be.
>
> It is.  Along with approximately two zillion other caveats about @macro
> usage :).
>
>     Also, I would suggest that makeinfo be modified to enforce this
>     restriction as well.
>
> Historically, makeinfo's @macro has always accepted lots of things that
> texinfo.tex's @macro doesn't.  This was construed (not by me) to be a
> feature, and I believe some documents rely on it (i.e., use texi2dvi -E
> or have different definitions), so I don't much want to change it now.
>
> Best,
> Karl