On 2 September 2015 at 07:55, Vincent Belaïche <[email protected]> wrote: > /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 texindex fails, maybe the bug is in texindex. > > Please note that I am with MikTeX, and I need my texi2dvi patch to go further > than compilation cycle 1.
I see the texinfo.tex version is reported as 20150803. There were some recent changes in this area, could you try with a more recent version?
