On Fri, Aug 26, 2022 at 02:14:27PM +0000, Werner LEMBERG wrote: > > > I've added this as '@set txicodevaristt'. I've tested it with > > texi2pdf -t '@set txicodevaristt'. > > Thanks, this works. Please document it in `texinfo.texi` :-) > > > Werner > > > PS: I still vote for making `txicodevaristt` the default at least for > the next version.
What I propose is making it the default for the next release, and stating in the manual and release notes that it will be changed in the subsequent release. That way we give people a chance to set it if they want to to avoid this change. After the next release we make @clear txicodevaristt the default. We will use @clear txicodevaristt in texinfo.texi (the Texinfo manual) for the next release. 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?
