[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [help-texinfo] No index in PDF manual

From: Gavin Smith
Subject: Re: [help-texinfo] No index in PDF manual
Date: Sat, 6 Apr 2019 23:18:32 +0100
User-agent: Mutt/1.6.1 (2016-04-27)

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]