Re: TeX errors with @U{0075} which is u

[Patrice Dumas]

Hello,

Here is an hopefully correct 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.
>

texinfo_tex_U_ASCII.diff
Description: Text Data