>Salut Gavin, > >My answers inserted below... > > >[...] > > >FYI, there is one manual which I cannot compile : texinfo manual, in the >trunk/doc directory, I get the following: > >======================================================================================================== >$ texi2pdf --tidy -V texinfo.texi >/local/bin/texi2dvi: Processing texinfo.texi ... >/local/bin/texi2dvi: Checking TeX recorder support... >/local/bin/texi2dvi: /local/bin/texi2dvi: running pdfetex -recorder '\input' >openout.tex ... >/local/bin/texi2dvi: Checking TeX recorder support... yes >/local/bin/texi2dvi: >BIBINPUTS='.:/c/Programmes/installation/texinfo-install/trunk/doc:/c/Programmes/installation/texinfo-install/trunk/doc/.:' >/local/bin/texi2dvi: >BSTINPUTS='.:/c/Programmes/installation/texinfo-install/trunk/doc:/c/Programmes/installation/texinfo-install/trunk/doc/.:' >/local/bin/texi2dvi: >DVIPSHEADERS='.:/c/Programmes/installation/texinfo-install/trunk/doc:/c/Programmes/installation/texinfo-install/trunk/doc/.:' >/local/bin/texi2dvi: >INDEXSTYLE='.:/c/Programmes/installation/texinfo-install/trunk/doc:/c/Programmes/installation/texinfo-install/trunk/doc/.:' >/local/bin/texi2dvi: >MFINPUTS='.:/c/Programmes/installation/texinfo-install/trunk/doc:/c/Programmes/installation/texinfo-install/trunk/doc/.:' >/local/bin/texi2dvi: >MPINPUTS='.:/c/Programmes/installation/texinfo-install/trunk/doc:/c/Programmes/installation/texinfo-install/trunk/doc/.:' >/local/bin/texi2dvi: >TEXINPUTS='.:/c/Programmes/installation/texinfo-install/trunk/doc:/c/Programmes/installation/texinfo-install/trunk/doc/.:' >/local/bin/texi2dvi: >TFMFONTS='.:/c/Programmes/installation/texinfo-install/trunk/doc:/c/Programmes/installation/texinfo-install/trunk/doc/.:' >/local/bin/texi2dvi: texinfo.tex preloaded as `', version is `20150803' ... >/local/bin/texi2dvi: cd >/c/Programmes/installation/texinfo-install/trunk/doc/texinfo.t2d/pdf/build >/local/bin/texi2dvi: Cycle 1 for ./texinfo.texi >/local/bin/texi2dvi: /local/bin/texi2dvi: Running pdfetex -recorder >'\catcode126=12 \def\normaltilde{~}\catcode126=13 \let~\normaltilde ' '\input' >'/c/Programmes/installation/texinfo-install/trunk/doc/./texinfo.texi' ... >This is pdfTeX, Version 3.1415926-2.5-1.40.14 (MiKTeX 2.9 64-bit) >entering extended mode
[...] >/local/bin/texi2dvi: Running texindex texinfo.cp texinfo.fn >texindex: No page number in \entry{\{ (literal \{)}{108}{\code {{\tt \char >123} \r {(literal \samp {{\tt \char 123}})}}} >/local/bin/texi2dvi: texindex failed >======================================================================================================== > >It seems that this is another bug predating the -recorder support >change, I have not tried with reverting texi2dvi to repo latest. > > Vincent. Well reverting to the original texi2dvi does not produce the bug because anyway the orginal texi2dvi stops after the first run of TeX, not trying to produce any index. Vincent. --- L'absence de virus dans ce courrier électronique a été vérifiée par le logiciel antivirus Avast. http://www.avast.com