Re: @U{xxxx} -- some TeX characters with a capital don't seem to work

bug-texinfo

From:	Benno Schulenberg
Subject:	Re: @U{xxxx} -- some TeX characters with a capital don't seem to work
Date:	Mon, 3 Jul 2017 18:01:38 +0200
User-agent:	Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.1.1


Op  3-07-2017 om 17:31 schreef Benno Schulenberg:

Attached is the log file of running texi2any --pdf doc/nano.texi.


Sorry, that was an old log file.  Attached now is the relevant one.

Benno

nano.log
Description: Text Data

Current Thread

[Next in Thread]

@U{xxxx} -- some TeX characters with a capital don't seem to work, Benno Schulenberg, 2017/07/03
- Re: @U{xxxx} -- some TeX characters with a capital don't seem to work, Benno Schulenberg <=
- Re: @U{xxxx} -- some TeX characters with a capital don't seem to work, Gavin Smith, 2017/07/04
  - Re: @U{xxxx} -- some TeX characters with a capital don't seem to work, Benno Schulenberg, 2017/07/04
    - Re: @U{xxxx} -- some TeX characters with a capital don't seem to work, Gavin Smith, 2017/07/04
    - Re: @U{xxxx} -- some TeX characters with a capital don't seem to work, Benno Schulenberg, 2017/07/05
    - Re: @U{xxxx} -- some TeX characters with a capital don't seem to work, Norbert Preining, 2017/07/05