[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: with HTML output, @minus{} is converted to a hyphen instead of a rea
|
From: |
Patrice Dumas |
|
Subject: |
Re: with HTML output, @minus{} is converted to a hyphen instead of a real minus character |
|
Date: |
Thu, 13 Oct 2022 22:23:44 +0200 |
On Thu, Oct 13, 2022 at 07:42:40PM +0100, Gavin Smith wrote:
> I think just output it as −, or as the numeric entity or raw
> UTF-8 character depending on settings.
Ok, done.
> I guess it was not output as − because this was not an entity in
> older versions of HTML, or it wasn't supported by browsers or the minus
> sign didn't exist as a distinct codepoint in 8-bit encodings, but if
> the user puts @minus{} in a document (which is rare), − is a fair
> translation of this.
Agreed.
> I think it is the %xml_text_entity_no_arg_commands_formatting hash in
> tp/Texinfo/Convert/Converter.pm that needs to altered.
Yes!
--
Pat
Re: with HTML output, @minus{} is converted to a hyphen instead of a real minus character, Patrice Dumas, 2022/10/12
Re: with HTML output, @minus{} is converted to a hyphen instead of a real minus character, Patrice Dumas, 2022/10/12
Re: with HTML output, @minus{} is converted to a hyphen instead of a real minus character, Gavin Smith, 2022/10/13
- Re: with HTML output, @minus{} is converted to a hyphen instead of a real minus character,
Patrice Dumas <=