Bug#1021629: texinfo: with HTML output, @minus{} is converted to a hyphen instead of a real minus character

[Hilmar Preuße <hille42@web.de>]

Control: tags -1 + fixed-upstream

Am 12.10.2022 um 01:17 teilte Vincent Lefevre mit:

Hi,

> With HTML output, @minus{} is converted to a hyphen instead of
> a real minus character (U+2212 MINUS SIGN).
>
> The Texinfo manual says:
>
> 11.8.9 '@minus' (-): Inserting a Minus Sign
> -------------------------------------------
Fixed in upstream git:

commit 8a14a5047246ac70d53622e242ab18708a8f95b7
Author: Patrice Dumas <pertusus@free.fr>
Date:   Thu Oct 13 21:39:42 2022 +0200

    Use &minus; for @minus{} in HTML output

    * tp/Texinfo/Convert/Converter.pm
    (%xml_text_entity_no_arg_commands_formatting): use &minus; for
    @minus{}.  Report from Vincent Lefèvre.

Hilmar
--
sigfault

Attachment: OpenPGP_signature
Description: OpenPGP digital signature