On 2 September 2015 at 23:53, Gavin Smith <[email protected]> wrote: > Please try deleting all auxiliary files, e.g. the entire texinfo.t2d > directory, and try again. There are sometimes problems when the > versions of texinfo.tex and/or texi2dvi and/or texindex change.
Hello Vincent, if you report that this works, we can forget about it.
