[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #46083] DeclareUnicodeCharacter breaks if used twice for same chara
From: |
Oliver Heimlich |
Subject: |
[bug #46083] DeclareUnicodeCharacter breaks if used twice for same character |
Date: |
Sun, 25 Oct 2015 11:00:37 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Firefox/38.0 Iceweasel/38.3.0 |
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, which will work on
different systems.
2. Use more conditional code and math mode in TeX, but Unicode formulars in
other formats. This will get rid of the math related Unicode declarations for
TeX.
3. Conditionally declare unicode characters based on the detected TexInfo
(kludge alert).
@tex
@ifcommandnotdefined U
% TexInfo < 6
DeclareUnicodeCharacter{00A0}{tie}
… more declarations …
@end ifcommandnotdefined
DeclareUnicodeCharacter{03C0}{ensuremathpi}
… more declarations …
@end tex
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?46083>
_______________________________________________
Nachricht gesendet von/durch Savannah
http://savannah.gnu.org/
- Re: [bug #46083] DeclareUnicodeCharacter breaks if used twice for same character, (continued)
- Re: [bug #46083] DeclareUnicodeCharacter breaks if used twice for same character, Gavin Smith, 2015/10/08
- Re: [bug #46083] DeclareUnicodeCharacter breaks if used twice for same character, Karl Berry, 2015/10/08
- Re: [bug #46083] DeclareUnicodeCharacter breaks if used twice for same character, Oliver Heimlich, 2015/10/08
- Re: [bug #46083] DeclareUnicodeCharacter breaks if used twice for same character, Karl Berry, 2015/10/08
- Re: [bug #46083] DeclareUnicodeCharacter breaks if used twice for same character, Oliver Heimlich, 2015/10/08
- Re: [bug #46083] DeclareUnicodeCharacter breaks if used twice for same character, Gavin Smith, 2015/10/08
- Re: [bug #46083] DeclareUnicodeCharacter breaks if used twice for same character, Karl Berry, 2015/10/08
- Re: [bug #46083] DeclareUnicodeCharacter breaks if used twice for same character, Gavin Smith, 2015/10/09
- Re: [bug #46083] DeclareUnicodeCharacter breaks if used twice for same character, Gavin Smith, 2015/10/28
[bug #46083] DeclareUnicodeCharacter breaks if used twice for same character, Gavin D. Smith, 2015/10/09
- [bug #46083] DeclareUnicodeCharacter breaks if used twice for same character,
Oliver Heimlich <=