Re: wrong font shape for `@var` in `@example`

[Werner LEMBERG]

> It would be easy to add a switch to texinfo.tex that would switch
> on/off the old behaviour.  It would be used like "@set
> txicodevarttsl" (probably with a better name).

OK.

> It wouldn't do anything for any other output formats, so there shouldn't
> need to be any changes to texi2any, or any new commands to be added.

Mhmm.  I must admit that I haven't checked how HTML output was before
and is now, so I can't comment on this conclusion.

> My preference for this switch to be limited to texinfo.tex, as we
> shouldn't force absolute consistency across all output formats.

Well, I think that the 'typewriter metaness' is important in HTML
output, too...


    Werner