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

[pertusus]

On Fri, Aug 26, 2022 at 06:37:08PM +0100, Gavin Smith wrote:
> 
> The LaTeX output will still use variable-width for @var unconditionally and
> not subject to configuration.  Hence there will be an inconsistency between
> LaTeX output and texinfo.tex in this area, until after the next release.
> 
> This way we smooth over some of the disruption while still getting a
> better default in the longer term.
> 
> @def* output will still change for texinfo.tex as now @deftype* will be
> in a fixed width font.
> 
> Does that sound okay Patrice?

Looks good to me.

-- 
Pat