Hi Karl. Thanks for the explanations.
Arnold > Date: Fri, 31 Jan 2014 22:09:28 GMT > From: k...@freefriends.org (Karl Berry) > To: arn...@skeeve.com > Cc: bug-texinfo@gnu.org > 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
