On Thu, Nov 17, 2022 at 06:59:25PM +0100, Vincent Lefevre wrote: > Not yet (it is not even in Debian/unstable yet). Unfortunately, it is > too new to assume that all users will have it... Or is there a way to > provide the HTML styles in our package (like what can be done with > texinfo.tex)?
There is no such way. The only way for older versions of Texinfo is to use explicit @t commands in the @def* line.
