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
Hi,
On 2022-10-12 10:13:51 +0200, Hilmar Preuße wrote:
> Could you provide a minimal example and steps how to detect the issue?
Create a file test.texi with just: @minus{}
Then run "makeinfo --html --no-split test.texi". Because of this
minimal example, it outputs a warning about the missing
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
Package: texinfo
Version: 6.8-6
Severity: minor
Tags: upstream
Forwarded: https://lists.gnu.org/archive/html/bug-texinfo/2022-10/msg00046.html
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' (-):
4 matches
Mail list logo
