Hi All. I recently discovered that texinfo macros should not have digits in their names, since texinfo.tex chokes on them.
I admit to not checking, but if this isn't documented, it should be. Also, I would suggest that makeinfo be modified to enforce this restriction as well. Much thanks, Arnold
