@var just became @mvar in the texinfo documentation

On 2013-04-25, Rupert Swarbrick <rswarbrick at gmail.com> wrote:

> To make the info documentation compile correctly with Texinfo 5, I went
> through and fixed all the warnings we were getting. The first one that
> crops up is actually a bit of a problem: basically, we were defining
> @var to surround its argument with "<" and ">". All very well, but
> Texinfo all ready has a meaning for @var.
>
> There were two obvious ways to find a solution. Firstly, we could try to
> undefine Texinfo's definition of @var. I'm not sure I have the
> Texinfo-fu to do that correctly. Another option is to rename the thing
> we've been using to something like @mvar{}. Which is what I did.

OK, I asked the Texinfo developers about redefinition of @var and they
said it's discouraged, although there isn't any strong reason for it,
and one of them said he has mixed feelings about that policy.

So at this point I'm still against the patch. I'm willing to put up with
the warning message about redefining @var -- it is harmless.

best,

Robert Dodier