Hi !
makeinfo --html has a small bug with accents on @dotless{i}.
The input :
@^{@dotless{i}}
should produce something like that: î
@^i would simply make an "i" with a dot AND a circumflex accent with
TeX, so I must use @^{@dotless{i}}.
If I process the file with makeinfo --html to get an HTML file,
the output is: ^i
It seems that makeinfo doesn't handle this correctly...
--
Florian,
xbill level 21, 22674
http://www.linux-france.org/article/mininet/
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
