Re: forbidding user defined macro names of texinfo @-commands

[Karl Berry]

I'm not sure if anyone is taking advantage of the current anything-goes
situation and redefining Texinfo commands as their own macros.  So my
thought is to make it a warning initially, rather than an error.

Of course, the source may not be processable with their redefinition,
and that's fine, it's not up to us to go to any lengths to accommodate
such redefinitions.  With texinfo.tex, it would be pure luck (or a lot
of TeX hackery in the .texi source) to redefine a command and have it
work out.

As for which commands, my initial thought is to give a warning for a
redefinition of any command at all.

k