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

[Gavin Smith]

On Fri, Aug 26, 2022 at 10:20:08PM +0200, pertusus@free.fr wrote:
> 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.

Done.