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
