summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-09-18 18:23:36 -0700
committerKarl Berry <karl@freefriends.org>2019-09-18 18:23:36 -0700
commitb81ec693dcb9c2343f477983c2c4aa8fa470cecd (patch)
treee6e431b0a7c6b18f6bb295f4d8c2e2d02fad9272
parent6e9634163167de7f153cdfd1023e5c164485f4bc (diff)
downloadgnulib-b81ec693dcb9c2343f477983c2c4aa8fa470cecd.tar.gz
gnulib-b81ec693dcb9c2343f477983c2c4aa8fa470cecd.tar.bz2
autoupdate
-rw-r--r--build-aux/texinfo.tex12
1 files changed, 9 insertions, 3 deletions
diff --git a/build-aux/texinfo.tex b/build-aux/texinfo.tex
index d2e895f362..0d5e709dd0 100644
--- a/build-aux/texinfo.tex
+++ b/build-aux/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{2019-08-18.20}
+\def\texinfoversion{2019-09-08.12}
%
% Copyright 1985, 1986, 1988, 1990-2019 Free Software Foundation, Inc.
%
@@ -1076,15 +1076,19 @@ where each line of input produces a line of output.}
function PDFescstr(str)
for c in string.bytes(str) do
if c <= 0x20 or c >= 0x80 or c == 0x28 or c == 0x29 or c == 0x5c then
- tex.sprint(
+ tex.sprint(-2,
string.format(string.char(0x5c) .. string.char(0x25) .. '03o',
c))
else
- tex.sprint(string.char(c))
+ tex.sprint(-2, string.char(c))
end
end
end
}
+ % The -2 in the arguments here gives all the input to TeX catcode 12
+ % (other) or 10 (space), preventing undefined control sequence errors. See
+ % https://lists.gnu.org/archive/html/bug-texinfo/2019-08/msg00031.html
+ %
\endgroup
\def\pdfescapestring#1{\directlua{PDFescstr('\luaescapestring{#1}')}}
\ifnum\luatexversion>84
@@ -4843,6 +4847,7 @@ end
\definedummyletter\ %
\definedummyletter\{%
\definedummyletter\}%
+ \definedummyletter\&%
%
% Do the redefinitions.
\definedummies
@@ -4913,6 +4918,7 @@ end
\definedummyword\TeX
%
% Assorted special characters.
+ \definedummyword\ampchar
\definedummyword\atchar
\definedummyword\arrow
\definedummyword\backslashchar

Return to:

Send suggestions and report system problems to the System administrator.