[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @ctrl
|
From: |
Patrice Dumas |
|
Subject: |
Re: @ctrl |
|
Date: |
Sat, 14 Apr 2012 22:49:17 +0200 |
|
User-agent: |
Mutt/1.5.20 (2009-12-10) |
On Sun, Apr 01, 2012 at 02:02:38PM -0700, Karl Berry wrote:
> @ctrl should not be a command at all. See the NEWS for 3.8 (1996),
> below. All that C makeinfo does with (some of) them is say "@CMD is
> obsolete". I think we can safely remove them all at this point, unless
> you think otherwise.
texi2any also says
e.texi:2: warning: @ctrl is obsolete.
but it processes the command.
I see no real need of removing it. It allows to test for the obsoleted
commands.
--
Pat
- @ctrl, Karl Berry, 2012/04/01
- Re: @ctrl,
Patrice Dumas <=