On Wed, Oct 26, 2022 at 02:57:55AM +0200, Vincent Lefevre wrote:
> But in such a case, the manual should have mentioned the encoding
> issue.
The manual appears not be completely correct when it states
In a fixed-width font, this is a single hyphen
as in DejaVu Sans Mono the "hyphen" and "minus sign" appear different, even
though it is a fixed-width font.
I've carefully rewritten that text again:
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 1b7f029ba4..25eb1b3328 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -10294,8 +10294,8 @@ @node @code{@@minus}
@cindex Em dash, compared to minus sign
@cindex Hyphen, compared to minus
-Use the @code{@@minus@{@}} command to generate a minus sign. In a
-fixed-width font, this is a single hyphen, but in a proportional font,
+Use the @code{@@minus@{@}} command to generate a minus sign.
+Where the character encoding and font used in the output allow it,
the symbol is the customary length for a minus sign---a little longer
than a hyphen, shorter than an em-dash:
I don't want to get into too much distracting detail about character
encodings in different output formats.
