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
