branch master updated: * doc/texinfo.texi (@minus): Do not state that '-' always produces a hyphen in fixed-width fonts, as this may not be true. Report from Vincent Lefèvre.

[Gavin D. Smith]

This is an automated email from the git hooks/post-receive script.

gavin pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 06c627a93a * doc/texinfo.texi (@minus): Do not state that '-' always 
produces a hyphen in fixed-width fonts, as this may not be true. Report from 
Vincent Lefèvre.
06c627a93a is described below

commit 06c627a93ab66654303b13897b2df4b680a18f3c
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Wed Oct 26 10:20:38 2022 +0100

    * doc/texinfo.texi (@minus): Do not state that '-' always produces
    a hyphen in fixed-width fonts, as this may not be true.
    Report from Vincent Lefèvre.
---
 ChangeLog        | 6 ++++++
 doc/texinfo.texi | 4 ++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index cf09b7a07a..52d00a515a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2022-10-25  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.texi (@minus): Do not state that '-' always produces
+       a hyphen in fixed-width fonts, as this may not be true.
+       Report from Vincent Lefèvre.
+
 2022-10-25  Gavin Smith  <gavinsmith0123@gmail.com>
 
        * tp/Makefile.am (distlean-local, CLEANFILES, DISTCLEANFILES):
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 @@ it is an @samp{o}.
 
 @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: