On Thu, Nov 12, 2020 at 02:33:52PM +0100, Werner LEMBERG wrote: > > >> > One idea is to change Texinfo to allow @example to have an > >> > argument which would be output as a 'class' in HTML. [...] > > > > Implemented in commit 758870e30b. You can give more than one > > argument to @example separated by spaces, and they will be appended > > to the class attribute on the <div>. > > Thanks. Am I correct that a TeX implementation is still missing?
I've made it so that any argument to @example will be ignored. So this argument can be given and it will be OK to process with TeX, but this argument couldn't be used to customize or post-process the example block for TeX output.
