On Thu, Apr 04, 2019 at 04:27:23PM +0100, Gavin Smith wrote: > This could be fixed by having the new texi2dvi detect the old sorted > index files and deleting them. Or possibly texi2dvi could keep on going > after TeX exits with an error, if the index files have changed.
I've made the latter change in commit 9b96dce; let's see how it goes.
