[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Karl Berry
Subject: Re: forbidding user defined macro names of texinfo @-commands
Date: Sat, 10 Dec 2011 15:53:33 -0800

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]