On Sun, Aug 21, 2022 at 07:59:17PM +0000, Werner LEMBERG wrote: > > > It would be easy to add a switch to texinfo.tex that would switch > > on/off the old behaviour. It would be used like "@set > > txicodevarttsl" (probably with a better name). > > OK.
I've added this as '@set txicodevaristt'. I've tested it with texi2pdf -t '@set txicodevaristt'.
