Re: [bug #46083] DeclareUnicodeCharacter breaks if used twice for same character

[Oliver Heimlich]

Karl, Gavin,

thanks for your hints and suggestions.

I understand that the DeclareUnicodeCharacter command is an internal
command and I shouldn't have messed with it. However, without it I'd
have waived PDF output.

I believe the most simple (and sane) thing for me to do is this:

@tex
@ifcommandnotdefined U
% The following definitions are mandatory in TexInfo < 6 only
\DeclareUnicodeCharacter{00A0}{\ }
… more declarations …
@end ifcommandnotdefined
\DeclareUnicodeCharacter{03C0}{$\pi$}
… more declarations …
@end tex

This way I can use the latest declarations conditionally and the manual
compiles in TexInfo 5 and 6. I'd rather not have to include texinfo.tex
in my package.

I know that above workaround could also fail if TexInfo 5 is used
together with a later texinfo.tex. However, that should be uncommon
unless texinfo.tex is included intentionally.

Oliver