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 <pertu...@free.fr> Date: Thu Oct 13 21:39:42 2022 +0200 Use − for @minus{} in HTML output * tp/Texinfo/Convert/Converter.pm (%xml_text_entity_no_arg_commands_formatting): use − for @minus{}. Report from Vincent Lefèvre. Hilmar -- sigfault
OpenPGP_signature
Description: OpenPGP digital signature