Re: texinfo macro names don't allow digits

[Karl Berry]

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