@var just became @mvar in the texinfo documentation
Subject: @var just became @mvar in the texinfo documentation
From: Raymond Toy
Date: Thu, 25 Apr 2013 20:02:17 -0700
>>>>> "Robert" == Robert Dodier <robert.dodier at gmail.com> writes:
Robert> On 2013-04-25, Raymond Toy <toy.raymond at gmail.com> wrote:
>> I think redefining a builtin thing is usually a bad idea.
Robert> Disagreed in this case -- Texinfo's documentation says that @-commands
Robert> indicate the kind of stuff in the curly braces, not the mark-up to be
Robert> applied to it. Documentation goes on to say that different kinds of
Robert> mark-up can be applied to the same stuff. That seems to imply that
Robert> redefining @var etc is within the intended use of Texinfo.
Ok, I was only going by what Rupert said. My texinfo manual
(admittedly old) just says @var does certain things and you can modify
texinfo.tex and the Info formatting commands to do what you want.
Ray