texinfo-commits
[Top][All Lists]
Advanced

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

branch master updated: * doc/texinfo.texi (@minus): Remove duplicate tex


From: Gavin D. Smith
Subject: branch master updated: * doc/texinfo.texi (@minus): Remove duplicate text about @minus in a fixed width font. Do not discuss @minus as an @itemize argument as this is already covered at the relevant node.
Date: Mon, 17 Oct 2022 17:01:18 -0400

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 833cd69e75 * doc/texinfo.texi (@minus): Remove duplicate text about 
@minus in a fixed width font.  Do not discuss @minus as an @itemize argument as 
this is already covered at the relevant node.
833cd69e75 is described below

commit 833cd69e7589925d818cc47fccbf687f789406b4
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Mon Oct 17 22:01:09 2022 +0100

    * doc/texinfo.texi (@minus): Remove duplicate text about
    @minus in a fixed width font.  Do not discuss @minus as an
    @itemize argument as this is already covered at the relevant node.
---
 ChangeLog        | 6 ++++++
 doc/texinfo.texi | 8 --------
 2 files changed, 6 insertions(+), 8 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 2de92bd52a..ef45e15bb6 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2022-10-17  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.texi (@minus): Remove duplicate text about
+       @minus in a fixed width font.  Do not discuss @minus as an
+       @itemize argument as this is already covered at the relevant node.
+
 2022-10-17  Gavin Smith  <gavinsmith0123@gmail.com>
 
        * doc/texinfo.texi (@w) <$Id$>: Be clearer that the issue
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 5dc2476f70..408323d319 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -10296,14 +10296,6 @@ than a hyphen, shorter than an em-dash:
 `---' is an em-dash for text.
 @end display
 
-@noindent
-In general, in fixed-width font @code{@@minus@{@}} is the same as a hyphen,
-in particular inside @code{@@code} or @code{@@example}.
-
-When you use @code{@@minus} to specify the mark beginning each entry
-in an itemized list, you do not need to type the braces
-(@pxref{@code{@@itemize}}).
-
 If you actually want to typeset some math that does a subtraction, it
 is better to use @code{@@math}.  Then the regular @samp{-} character
 produces a minus sign, as in @code{@@math@{a-b@}} (@pxref{Inserting



reply via email to

[Prev in Thread] Current Thread [Next in Thread]