On Sun, Aug 21, 2022 at 11:14:16PM +0200, pertu...@free.fr wrote: > On Sun, Aug 21, 2022 at 06:28:11PM +0100, Gavin Smith wrote: > > > > It wouldn't do anything for any other output formats, so there shouldn't > > need to be any changes to texi2any, or any new commands to be added. My > > preference for this switch to be limited to texinfo.tex, as we shouldn't > > force absolute consistency across all output formats. It wouldn't do > > anything special with @def* commands, either. > > There was no change on that subject for HTML. However, I think that the > formatting in HTML should be changed, as it is not consistent, fonts are > always combined, but ligatures are not for @r, @i, @b, @sansserif, @slanted > which seems to me to be unfortunate. Conversely, @var (and @cite too, > probably) are fully combined. > > I will change the HTML results to be more in line with TeX/LaTeX, > especially when this is needed to be able to obtain some specific > output.
Can you please leave it alone, I checked the HTML output already and the results look bad (depending on browser and fonts) when you mix typewriter and non-typewriter fonts.