Follow-up Comment #3, bug #46083 (project texinfo):
don't define unicode characters in documents based on the texinfo.tex version
(surely unmaintainable), but simply on whether they are defined or not
(\csname uni:\endcsname being defined).
For that matter, it would be trivial for texinfo.te
Follow-up Comment #2, bug #46083 (project texinfo):
Thanks for the summary.
>3. Conditionally declare unicode characters based on the detected TexInfo
(kludge alert).
This will work until more of the definitions are added to texinfo.tex, then
the extra definitions (\pi etc.) will break.
__
Follow-up Comment #1, bug #46083 (project texinfo):
There have been some great hints on the mailing list about possible solutions,
which I would like to summarize:
1. Redistribute the texinfo.tex version with my manual. Then the export to PDF
will always use that particular macro definitions, whi