[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: texi2dvi -o dir/file.dvi creates leftover file.dvi in pwd
From: |
Ralf Wildenhues |
Subject: |
Re: texi2dvi -o dir/file.dvi creates leftover file.dvi in pwd |
Date: |
Tue, 22 Jan 2008 07:07:28 +0100 |
User-agent: |
Mutt/1.5.13 (2006-08-11) |
Hello Karl,
* Karl Berry wrote on Thu, Jan 17, 2008 at 11:02:43PM CET:
>
> where some dvi should be rebuilt in the current directory or so.
>
> Well, in the code that's the problematic case all right that we've been
> going through umpteen iterations to get right, but unfortunately I can't
> reproduce. The three tests you mentioned pass for me :(.
Hmm. Upon retesting now, they pass for me, too. Maybe I forgot to undo
a (bogus) test patch of mine for the issue.
Anyway, the better now, let's forget about this unless it shows up
elsewhere again.
Cheers, and thanks,
Ralf