[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug #43122] texi2dvi does not compile enough times to get toc
From: |
Vincent Belaïche |
Subject: |
Re: [bug #43122] texi2dvi does not compile enough times to get toc |
Date: |
Fri, 21 Aug 2015 15:56:23 +0200 |
Ooops... I had missed your latest email
Le 21/08/2015 14:30, Gavin Smith a écrit :
> On 21 August 2015 at 12:42, Gavin Smith <address@hidden> wrote:
[...]
>>
>> From my reading of the source of texi2dvi, it looks in the filesystem
>> to see what files were produced; it doesn't look at what \openout's
>> were done.
>
> Disregard that, you are right. So it does appear that the problem is
> that the \openout lines are missing from the log file.
>
Finally we agree on the cause why texi2dvi does not trigger the second run.
>>> - why index files are overlooked by texi2dvi, ie not in the xref file
>>> list?
>
> Maybe because they are empty, and so don't pass xref_file_p?
You are right, the following:
rm metafont-for-beginners.{aux,log,ky,cp,fn,toc,vr,pdf,dvi}; \
etex metafont-for-beginners.texi;\
ls -l metafont-for-beginners.*
outputs these file sizes:
-rw-r--r-- 1 Vincent Administrateurs 3503 Aug 21 2015
metafont-for-beginners.aux
-rw-r--r-- 1 Vincent Administrateurs 0 Aug 21 2015
metafont-for-beginners.cp
-rw-r--r-- 1 Vincent Administrateurs 62224 Aug 21 2015
metafont-for-beginners.dvi
-rw-r--r-- 1 Vincent Administrateurs 0 Aug 21 2015
metafont-for-beginners.fn
-rw-r--r-- 1 Vincent Administrateurs 0 Aug 21 2015
metafont-for-beginners.ky
-rw-r--r-- 1 Vincent Administrateurs 4561 Aug 21 2015
metafont-for-beginners.log
-rw-r--r-- 1 Vincent Administrateurs 6052 Aug 20 21:19
metafont-for-beginners.log-GAVIN
-rw-r--r-- 1 Vincent Administrateurs 0 Aug 21 2015
metafont-for-beginners.pg
-rw-r--r-- 1 Vincent Administrateurs 49842 Aug 19 2014
metafont-for-beginners.tex
-rw-r--r-- 1 Vincent Administrateurs 49202 Aug 16 18:58
metafont-for-beginners.texi
-rw-r--r-- 1 Vincent Administrateurs 1852 Aug 21 2015
metafont-for-beginners.toc
-rw-r--r-- 1 Vincent Administrateurs 0 Aug 21 2015
metafont-for-beginners.tp
-rw-r--r-- 1 Vincent Administrateurs 0 Aug 21 2015
metafont-for-beginners.vr
So, now the question is how to proceed, I have no idea which is to
blame: MikTeX out Texinfo
Vincent.
---
L'absence de virus dans ce courrier électronique a été vérifiée par le logiciel
antivirus Avast.
http://www.avast.com
- [bug #43122] texi2dvi does not compile enough times to get toc, (continued)
- Re: [bug #43122] texi2dvi does not compile enough times to get toc, Vincent Belaïche, 2015/08/20
- Re: [bug #43122] texi2dvi does not compile enough times to get toc, Vincent Belaïche, 2015/08/21
- Re: [bug #43122] texi2dvi does not compile enough times to get toc,
Vincent Belaïche <=
- Re: [bug #43122] texi2dvi does not compile enough times to get toc, Vincent Belaïche, 2015/08/21
- Re: [bug #43122] texi2dvi does not compile enough times to get toc, Vincent Belaïche, 2015/08/22
- Re: [bug #43122] texi2dvi does not compile enough times to get toc, Vincent Belaïche, 2015/08/22
- Re: [bug #43122] texi2dvi does not compile enough times to get toc, Vincent Belaïche, 2015/08/29