Re: texi2dvi issue with(out) bibtex

2017-07-05 Thread Gavin Smith
On Wed, Jul 05, 2017 at 02:31:42PM +0200, d.ger...@lsr.uni-saarland.de wrote: > Dear developers, > > First many thanks to you for your support with texi2dvi so far. > > In the new version > $ texi2dvi --version > texi2dvi (GNU Texinfo 6.4) 7842 > > there was an extra check added in 'xref_files_c

texi2dvi issue with(out) bibtex

2017-07-05 Thread d . gerbet
Dear developers, First many thanks to you for your support with texi2dvi so far. In the new version $ texi2dvi --version texi2dvi (GNU Texinfo 6.4) 7842 there was an extra check added in 'xref_files_changed()' starting at line 839. This looks for *.bbl and *.blg files, if a latex project, which

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

2017-07-05 Thread Norbert Preining
> It says: > \mathchardef\triangle="0234 > > But what is that code, 0234? It isn't Unicode. So what is it > referring to? The position in the default OT1 encoding of TeX. That is not unicode. > Now the question becomes: how do I tell pdftex to use xetex? pdftex and xetex are different progr

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

2017-07-05 Thread Benno Schulenberg
Op 4-07-2017 om 18:41 schreef Gavin Smith: On Tue, Jul 04, 2017 at 10:25:39AM +0200, Benno Schulenberg wrote: So... what that section of texinfo.tex does is: translate a code to a named texinfo character? But where are these texi characters defined? Because, for example, @U{25B3} works, prod