branch master updated: @backslashchar{} as \ in PDF bookmarks

[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 48b3718e62 @backslashchar{} as \ in PDF bookmarks
48b3718e62 is described below

commit 48b3718e6220873da7c2ce29eb554c8ea0b66406
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Sat Jan 7 19:18:17 2023 +0000

    @backslashchar{} as \ in PDF bookmarks
    
    * doc/texinfo.tex (\definedummies): Give @backslashchar an
    \indexnofonts definition of \realbackslash so that a backslash
    will be displayed in PDF bookmarks if used in a section title.
---
 ChangeLog       | 8 ++++++++
 doc/texinfo.tex | 4 ++--
 2 files changed, 10 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index e2ab0079f5..d6e5933560 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2023-01-07  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       @backslashchar{} as \ in PDF bookmarks
+
+       * doc/texinfo.tex (\definedummies): Give @backslashchar an
+       \indexnofonts definition of \realbackslash so that a backslash
+       will be displayed in PDF bookmarks if used in a section title.
+
 2023-01-07  Gavin Smith  <gavinsmith0123@gmail.com>
 
        @headings does not reset page number
diff --git a/doc/texinfo.tex b/doc/texinfo.tex
index e0242e65c7..a30f2f28f3 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{2023-01-07.18}
+\def\texinfoversion{2023-01-07.19}
 %
 % Copyright 1985, 1986, 1988, 1990-2023 Free Software Foundation, Inc.
 %
@@ -4980,7 +4980,7 @@ $$%
   \commondummyword\ampchar          {\normalamp}%
   \commondummyword\atchar           {\@}%
   \commondummyword\arrow            {->}%
-  \commondummyword\backslashchar    {}%
+  \commondummyword\backslashchar    {\realbackslash}%
   \commondummyword\bullet           {bullet}%
   \commondummyword\comma            {,}%
   \commondummyword\copyright        {copyright}%