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
