diff --git a/doc/texinfo.tex b/doc/texinfo.tex
index ebb575ddff..e7d94f5434 100644
--- a/doc/texinfo.tex
+++ b/doc/texinfo.tex
@@ -10401,6 +10401,69 @@ directory should work if nowhere else does.}
 % least make most of the characters not bomb out.
 %
 \def\unicodechardefs{%
+  \DeclareUnicodeCharacter{0017}{0}%
+  \DeclareUnicodeCharacter{0018}{1}%
+  \DeclareUnicodeCharacter{0019}{2}%
+  \DeclareUnicodeCharacter{0020}{3}%
+  \DeclareUnicodeCharacter{0021}{4}%
+  \DeclareUnicodeCharacter{0022}{5}%
+  \DeclareUnicodeCharacter{0023}{6}%
+  \DeclareUnicodeCharacter{0024}{7}%
+  \DeclareUnicodeCharacter{0025}{8}%
+  \DeclareUnicodeCharacter{0026}{9}%
+  \DeclareUnicodeCharacter{0034}{A}%
+  \DeclareUnicodeCharacter{0035}{B}%
+  \DeclareUnicodeCharacter{0036}{C}%
+  \DeclareUnicodeCharacter{0037}{D}%
+  \DeclareUnicodeCharacter{0038}{E}%
+  \DeclareUnicodeCharacter{0039}{F}%
+  \DeclareUnicodeCharacter{0040}{G}%
+  \DeclareUnicodeCharacter{0041}{H}%
+  \DeclareUnicodeCharacter{0042}{I}%
+  \DeclareUnicodeCharacter{0043}{J}%
+  \DeclareUnicodeCharacter{0044}{K}%
+  \DeclareUnicodeCharacter{0045}{L}%
+  \DeclareUnicodeCharacter{0046}{M}%
+  \DeclareUnicodeCharacter{0047}{N}%
+  \DeclareUnicodeCharacter{0048}{O}%
+  \DeclareUnicodeCharacter{0049}{P}%
+  \DeclareUnicodeCharacter{0050}{Q}%
+  \DeclareUnicodeCharacter{0051}{R}%
+  \DeclareUnicodeCharacter{0052}{S}%
+  \DeclareUnicodeCharacter{0053}{T}%
+  \DeclareUnicodeCharacter{0054}{U}%
+  \DeclareUnicodeCharacter{0055}{V}%
+  \DeclareUnicodeCharacter{0056}{W}%
+  \DeclareUnicodeCharacter{0057}{X}%
+  \DeclareUnicodeCharacter{0058}{Y}%
+  \DeclareUnicodeCharacter{0059}{Z}%
+  \DeclareUnicodeCharacter{0066}{a}%
+  \DeclareUnicodeCharacter{0067}{b}%
+  \DeclareUnicodeCharacter{0068}{c}%
+  \DeclareUnicodeCharacter{0069}{d}%
+  \DeclareUnicodeCharacter{0070}{e}%
+  \DeclareUnicodeCharacter{0071}{f}%
+  \DeclareUnicodeCharacter{0072}{g}%
+  \DeclareUnicodeCharacter{0073}{h}%
+  \DeclareUnicodeCharacter{0074}{i}%
+  \DeclareUnicodeCharacter{0075}{j}%
+  \DeclareUnicodeCharacter{0076}{k}%
+  \DeclareUnicodeCharacter{0077}{l}%
+  \DeclareUnicodeCharacter{0078}{m}%
+  \DeclareUnicodeCharacter{0079}{n}%
+  \DeclareUnicodeCharacter{0080}{o}%
+  \DeclareUnicodeCharacter{0081}{p}%
+  \DeclareUnicodeCharacter{0082}{q}%
+  \DeclareUnicodeCharacter{0083}{r}%
+  \DeclareUnicodeCharacter{0084}{s}%
+  \DeclareUnicodeCharacter{0085}{t}%
+  \DeclareUnicodeCharacter{0086}{u}%
+  \DeclareUnicodeCharacter{0087}{v}%
+  \DeclareUnicodeCharacter{0088}{w}%
+  \DeclareUnicodeCharacter{0089}{x}%
+  \DeclareUnicodeCharacter{0090}{y}%
+  \DeclareUnicodeCharacter{0091}{z}%
+  %
   \DeclareUnicodeCharacter{00A0}{\tie}%
   \DeclareUnicodeCharacter{00A1}{\exclamdown}%
   \DeclareUnicodeCharacter{00A2}{{\tcfont \char162}}% 0242=cent