> Date: Fri, 16 Feb 2001 21:10:31 +0100
> From: Florian Hatat <[EMAIL PROTECTED]>
>
> 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;(...)
That's @^i, AFAIK.
> @^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.
Sounds like a bug in texinfo.tex, to a non-TeXpert such as myself.
> I think both @^i and @^{@dotless{i}} should output î in HTML
> and a correct (with no dot) "" (Unicode 0xee) with TeX.
Why would you need @^{@dotless{i}} if @^i does the right thing?
> With info, it's always the same: the output is something mike "^i",
> but it's the same for every other accents.
This is the intended behavior: makeinfo currently produces 7-bit ASCII
output, unless the input includes 8-bit characters.
> 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'm not sure this assumption is true. For example, there are many
Texinfo documents which mention people whose names include non-ASCII
characters, but those documents are displayed on machines that don't
necessarily support those characters. Worse, the Info file can be
displayed on a system, such as Windows, which assigns a different
glyph to the same 8-bit code.
This problem requires a solution, but it's not trivial.
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
