> From: Florian Hatat <[EMAIL PROTECTED]>
> Date: Sat, 10 Feb 2001 20:19:02 +0100
>
> makeinfo --html has a small bug with accents on @dotless{i}.
> The input :
> @^{@dotless{i}}
Thank you for your report.
This is not a bug: @^{@dotless{i}} is not something makeinfo is
supposed to support. @^{} only works on normal characters, not on the
result of @dotless{}.
What kind of character is @^{@dotless{i}}, 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 "î" in the HTML
output.
> @^i would simply make an "i" with a dot AND a circumflex accent with
> TeX, so I must use @^{@dotless{i}}.
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.
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
