Hello,
Here is a patch. I did not do the punctuation characters/special
characters in the ASCII range, only the digits and letters, as
I have no idea which character is special or not.
There is still an error which looks like a kind of protection
against invalid input which is not correct anymore:
! Cannot define Unicode char value < 00A0.
On Sun, Jul 24, 2022 at 09:42:52PM +0100, Gavin Smith wrote:
> On Sun, Jul 24, 2022 at 10:17:02PM +0200, Patrice Dumas wrote:
> > Hello,
> >
> > TeX says that @U{0075}, which is supposed to be u is not supported:
> >
> > ./U0075.texi:9: Unicode character U+0075 not supported, sorry.
> > @U ...Unicode character U+#1 not supported, sorry}
> > @fi @else @csname
> > uni:#1@e...
> > l.9 @U{0075}
> >
> > ?
> >
> > According to my understanding of the documentation, it is not expected.
>
>
> Indeed, none of the ASCII characters are supported in @U in the texinfo.tex
> implementation. You can see it yourself in the definition of
> \unicodechardefs, currently line 10403 of the file. All that would be
> needed would be to add 100-odd lines to the file.
>
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
