@var just became @mvar in the texinfo documentation
Subject: @var just became @mvar in the texinfo documentation
From: Mario Rodriguez
Date: Thu, 25 Apr 2013 23:41:11 +0200
El jue, 25-04-2013 a las 15:08 +0100, Rupert Swarbrick escribi?:
> So basically, I thought I'd better send a message to tell anyone writing
> documentation that they want @mvar instead of @var now. If you really
> hate the extra character, we can always try the first approach I
> mentioned above and revert this commit again.
>
If it works, it's all right by me.
--
Mario