[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.