On Fri, Aug 26, 2022 at 10:20:08PM +0200, [email protected] 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.
