Re: Deprecate Texinfo commands

[Patrice Dumas]

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