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:
> …
>
> 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' => '≡',
'dots' => '…',
'bullet' => '•',
'result' => '⇒',
'expansion' => '→',
'arrow' => '→',
'point' => '∗',
"'" => '’',
'`' => '‘',
It is not used in html32.init.
--
Pat