Re: Deprecate Texinfo commands

[Gavin Smith]

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.