branch master updated: * doc/texinfo.tex: Prove \ a definition again when Texinfo is not a preloaded format.

[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 d00835bec6 * doc/texinfo.tex: Prove \ a definition again when Texinfo 
is not a preloaded format.
d00835bec6 is described below

commit d00835bec6edf447b7b890fc9e57a4d3def3606f
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Sun Dec 25 23:06:28 2022 +0000

    * doc/texinfo.tex: Prove \ a definition again when Texinfo
    is not a preloaded format.
---
 ChangeLog       | 5 +++++
 doc/texinfo.tex | 3 ++-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 703130b0ff..008b13a8cf 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2022-12-25  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.tex: Prove \ a definition again when Texinfo
+       is not a preloaded format.
+
 2022-12-25  Gavin Smith  <gavinsmith0123@gmail.com>
 
        * doc/texinfo.tex: Use \everyjob to redefine backslash in
diff --git a/doc/texinfo.tex b/doc/texinfo.tex
index 6d38150e2a..a1bc461a95 100644
--- a/doc/texinfo.tex
+++ b/doc/texinfo.tex
@@ -3,7 +3,7 @@
 % Load plain if necessary, i.e., if running under initex.
 \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
 %
-\def\texinfoversion{2022-12-25.21}
+\def\texinfoversion{2022-12-25.23}
 %
 % Copyright 1985, 1986, 1988, 1990-2022 Free Software Foundation, Inc.
 %
@@ -11692,6 +11692,7 @@ directory should work if nowhere else does.}
 % in fixed width font.
 \catcode`\\=\active  % @ for escape char from now on.
 
+@let\ = @ttbackslash
 
 % If in a .fmt file, print the version number.
 % \eatinput stops the `\input texinfo' from showing up.