Am 12.10.2022 um 01:17 teilte Vincent Lefevre mit: Hi,
The Texinfo manual says:
11.8.9 '@minus' (-): Inserting a Minus Sign
-------------------------------------------
Use the '@minus{}' command to generate a minus sign. In a fixed-width
font, this is a single hyphen, but in a proportional font, the symbol is
the customary length for a minus sign--a little longer than a hyphen,
shorter than an em-dash:
[...]
I don't know whether commit 9190ec13c30 applies only to lists or
fixes the general problem.
Could you provide a minimal example and steps how to detect the issue? Hilmar -- sigfault
OpenPGP_signature
Description: OpenPGP digital signature
