[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



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

Attachment: OpenPGP_signature
Description: OpenPGP digital signature


Reply to: