Re: Deprecate Texinfo commands

[Werner LEMBERG]

>> > 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 could imagine the following, which is quite simple:
>> 
>>   @example       →  <pre class="example">
>>   @smallexample  →  <pre class="smallexample">
>> 
>> etc., etc., with a corresponding setup in texi2any's default CSS
>> code.
> 
> The problem is that all of the default CSS rules are always output,
> and this leads to a CSS block that is quite long, which gets in the
> way when you are looking at the HTML file, for the sake of something
> that is fairly rare.

Mhmm, for me a few lines of additional CSS code would be ok...


    Werner