branch master updated: * doc/texinfo.texi (@verbatim): Use @example environment for examples rather than @exdent with @t. Put actual tab characters in the output for the example as was shown.

[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 9988bfe25d * doc/texinfo.texi (@verbatim): Use @example environment 
for examples rather than @exdent with @t.  Put actual tab characters in the 
output for the example as was shown.
9988bfe25d is described below

commit 9988bfe25de08701336039dade61f0915ee0a271
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Sun Sep 4 13:40:59 2022 +0100

    * doc/texinfo.texi (@verbatim): Use @example environment for
    examples rather than @exdent with @t.  Put actual tab characters
    in the output for the example as was shown.
---
 ChangeLog        |  6 ++++++
 doc/texinfo.texi | 32 +++++++++++++++-----------------
 2 files changed, 21 insertions(+), 17 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 6eeae48d36..1565e74289 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2022-09-04  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.texi (@verbatim): Use @example environment for
+       examples rather than @exdent with @t.  Put actual tab characters
+       in the output for the example as was shown.
+
 2022-09-04  Patrice Dumas  <pertusus@free.fr>
 
        * doc/texinfo.texi (Advanced Indexing): index entries should not
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index b91b498af3..8cb5675196 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -6717,23 +6717,22 @@ at the beginning of a line by itself.  The @code{@@end 
verbatim} will
 also disappear from the output.
 
 For example:
-@c oops, got to trick this a bit: can't use @end verbatim inside @verbatim
 
 @example
-@exdent @t{@@verbatim}
-@exdent @t{@{}
-@exdent @key{TAB}@t{@@command with strange characters: @@'e}
-@exdent @t{expand@key{TAB}me}
-@exdent @t{@}}
-@exdent @t{@@end verbatim}
+@@verbatim
+@{
+@var{[tab]}@@command with strange characters: @@'e
+expand@var{[tab]}me
+@}
+@@end verbatim
 @end example
 
 @noindent
-This produces:
+(where @var{[tab]} stands for a literal tab character).  This produces:
 
 @verbatim
 {
-        @command with strange characters: @'e
+       @command with strange characters: @'e
 expand me
 }
 @end verbatim
@@ -6749,14 +6748,13 @@ the ending @code{@@end verbatim} will appear in the 
output.
 You can get a ``small'' verbatim by enclosing the @code{@@verbatim} in
 an @code{@@smallformat} environment, as shown here:
 
-@c more cheating ...
-@smallexample
-@exdent @t{@@smallformat}
-@exdent @t{@@verbatim}
-@exdent @t{... still verbatim, but in a smaller font ...}
-@exdent @t{@@end verbatim}
-@exdent @t{@@end smallformat}
-@end smallexample
+@example
+@@smallformat
+@@verbatim
+... still verbatim, but in a smaller font ...
+@@end verbatim
+@@end smallformat
+@end example
 
 Finally, a word of warning: it is not reliable to use
 @code{@@verbatim} inside other Texinfo constructs.