@var just became @mvar in the texinfo documentation
Subject: @var just became @mvar in the texinfo documentation
From: Robert Dodier
Date: Thu, 25 Apr 2013 22:20:03 +0000 (UTC)
On 2013-04-25, Raymond Toy <toy.raymond at gmail.com> wrote:
> I think redefining a builtin thing is usually a bad idea.
Disagreed in this case -- Texinfo's documentation says that @-commands
indicate the kind of stuff in the curly braces, not the mark-up to be
applied to it. Documentation goes on to say that different kinds of
mark-up can be applied to the same stuff. That seems to imply that
redefining @var etc is within the intended use of Texinfo.
I'm opposed to the global replacement of @var by @mvar -- we need to try
harder to figure out how to redefine @var for our needs.
best
Robert Dodier