Eli Zaretskii:
> What kind of character is @^{@dotless{i}}, anyway? Can you tell
> what's its Unicode codepoint,
00EE;LATIN SMALL LETTER I WITH CIRCUMFLEX;(...)
> 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.
@^{@dotless{i}} should produce î in HTML but it makes ^i.
@^i produces î in HTML but "i" with a dot and an accent with TeX.
I haven't looked at texinfo.tex, but I'm sure @^i is replaced by the \^i
TeX command, it should be \^\i.
I think both @^i and @^{@dotless{i}} should output î in HTML
and a correct (with no dot) "î" (Unicode 0xee) with TeX.
With info, it's always the same: the output is something mike "^i",
but it's the same for every other accents. It could be reported as a
bug, since a french text with accents is intended to be displayed
on a computer that supports these symbols.
> > @^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.
Depends on what we want to do.
If @^i must output 0xEE, texinfo.tex has to be fixed.
If @^{@dotless{i}} must output 0xEE, makeinfo has to be fixed.
--
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
