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

2015-10-25 Thread Karl Berry
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

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

2015-10-25 Thread Gavin D. Smith
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. __

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

2015-10-25 Thread Oliver Heimlich
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