On Mon, Dec 22, 2008 at 04:09:51PM -0600, Karl Berry wrote:
>     I noticed that the @dots{} command in Texinfo produces in HTML:
>       <small class="dots">...</small>
> 
>     I think it should produce:
>       &hellip;
> 
> Agreed.  Patrice, unless you see a problem with it, can you do this for
> texi2html (if it doesn't already).

It does already. When USE_ISO is set (the default), entities are used
for those commands:
        'equiv'     => '&equiv;',
         'dots'      => '&hellip;',
         'bullet'    => '&bull;',
         'result'    => '&rArr;',
         'expansion' => '&rarr;',
         'arrow'     => '&rarr;',
         'point'     => '&lowast;',
         "'"         => '&rsquo;',
         '`'         => '&lsquo;',

It is not used in html32.init.

--
Pat


Reply via email to