branch master updated: * doc/texinfo.texi (Fonts): More on possible uses for @t. Comment out rationale for longer command names.

[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 6ae11d2d3b * doc/texinfo.texi (Fonts): More on possible uses for @t. 
Comment out rationale for longer command names.
6ae11d2d3b is described below

commit 6ae11d2d3bdfee3917dbff158ce95c3b2a3f7523
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Sun Apr 10 11:56:04 2022 +0100

    * doc/texinfo.texi (Fonts): More on possible uses for @t.
    Comment out rationale for longer command names.
---
 ChangeLog        |  5 +++++
 doc/texinfo.texi | 17 ++++++++++++++---
 2 files changed, 19 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 4ecbeb4059..7388dd5475 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2022-04-10  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.texi (Fonts): More on possible uses for @t.
+       Comment out rationale for longer command names.
+
 2022-04-10  Gavin Smith  <gavinsmith0123@gmail.com>
 
        * NEWS: Revise.
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 9bf8488e82..9ecadbb42e 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -6398,9 +6398,11 @@ selects the @t{fixed-width}, typewriter-style font used 
by @code{@@code};
 
 @end table
 
+@ignore
 (The commands with longer names were invented much later than the
 others, at which time it did not seem desirable to use very short
 names for such infrequently needed features.)
+@end ignore
 
 @cindex @code{<lineannotation>} DocBook tag
 The @code{@@r} command can be useful in example-like environments, to
@@ -6425,10 +6427,19 @@ produces
 (+ 2 2)    ; @r{Add two plus two.}
 @end lisp
 
-The @code{@@t} command can occasionally be useful to produce output in
+The @code{@@t} command can occasionally be useful for producing output in
 a typewriter font where that is supported (e.g., HTML and PDF), but no
-distinction is needed in Info or plain text: @code{@@t@{foo@}}
-produces @t{foo}, cf. @code{@@code@{foo@}} producing @code{foo}.
+distinction with quotation marks is needed in Info or plain text.
+(Compare @code{@@t@{foo@}} producing @t{foo} with @code{@@code@{foo@}}
+producing @code{foo}.)  Here are some possible reasons for using
+@code{@@t} instead of @code{@@code}:
+
+@itemize @minus
+@item The argument is a single character
+@item There are already quotes of some kind enclosing the argument
+@item It's evident from context or the argument itself that the argument
+          could be computer code (e.g.@: name of a Usenet newsgroup)
+@end itemize
 
 In general, the other font commands are unlikely to be useful; they
 exist primarily to make it possible to document the functionality of