Re: [help-texinfo] preferred way to change output for a macro

[Karl Berry]

Hi Robert,

    so I redefined the @var macro accordingly.

It's intentional that redefining a Texinfo command gives a warning.  The
idea is to use new names if you want different behavior, instead of
redefining existing ones.

Best,
Karl