Re: Circumflex accent on letter 'i'

[Eli Zaretskii]

> From: Florian Hatat <address@hidden>
> Date: Sat, 10 Feb 2001 20:19:02 +0100
> 
> makeinfo --html has a small bug with accents on @dotless{i}.
> The input :
> @address@hidden

Thank you for your report.

This is not a bug: @address@hidden is not something makeinfo is
supposed to support.  @^{} only works on normal characters, not on the
result of @dotless{}.

What kind of character is @address@hidden, anyway?  Can you tell
what's its Unicode codepoint, and what would you like it to produce in
HTML (in the HTML source, not visually on the screen)?  As far as I
could see, you simply want @^i, which produces "&icirc;" in the HTML
output.

> @^i would simply make an "i" with a dot AND a circumflex accent with
> TeX, so I must use @address@hidden

Well, then perhaps the bug is in texinfo.tex, not in makeinfo.

Anyway, you could use @iftex and @ifnottex, as a work-around, for the
time being.