[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: |
Mon, 12 Dec 2011 23:27:02 +0100 |
|
User-agent: |
Mutt/1.4.2.2i |
On Sat, Dec 10, 2011 at 03:53:33PM -0800, Karl Berry wrote:
>
> As for which commands, my initial thought is to give a warning for a
> redefinition of any command at all.
Here is the warning:
Redefining Texinfo language command @code
Is it ok?
--
Pat