[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: |
Patrice Dumas |
|
Subject: |
Re: forbidding user defined macro names of texinfo @-commands |
|
Date: |
Sun, 11 Dec 2011 01:21:44 +0100 |
|
User-agent: |
Mutt/1.4.2.2i |
On Sat, Dec 10, 2011 at 03:53:33PM -0800, Karl Berry wrote:
> 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.
Agreed.
> As for which commands, my initial thought is to give a warning for a
> redefinition of any command at all.
Agreed here too.
--
Pat