diff --git a/build-aux/texinfo.tex b/build-aux/texinfo.tex index 2b7b31b34..77f8383f4 100644 --- a/build-aux/texinfo.tex +++ b/build-aux/texinfo.tex @@ -33,7 +33,7 @@ % The texinfo.tex in any given distribution could well be out % of date, so if that's what you're using, please check. % -% Send bug reports to address@hidden. Please include including a +% Send bug reports to address@hidden. Please include a % complete document in each bug report with which we can reproduce the % problem. Patches are, of course, greatly appreciated. % @@ -10725,6 +10725,8 @@ directory should work if nowhere else does.} \DeclareUnicodeCharacter{0233}{\=y}% \DeclareUnicodeCharacter{0237}{\dotless{j}}% % + \DeclareUnicodeCharacter{02BC}{'}% + % \DeclareUnicodeCharacter{02DB}{\ogonek{ }}% % % Greek letters upper case