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
