Circumflex accent on letter 'i'

[Florian Hatat]

Hi !
makeinfo --html has a small bug with accents on @dotless{i}.
The input :
@address@hidden
should produce something like that: î
@^i would simply make an "i" with a dot AND a circumflex accent with
TeX, so I must use @address@hidden
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/