On Mon, Nov 16, 2020 at 07:10:12PM +0000, Gavin Smith wrote: > 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.
What about using commas between the arguments? -- Pat
