[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: |
Wed, 16 Jan 2008 20:43:07 +0100 |
|
User-agent: |
Mutt/1.5.13 (2006-08-11) |
Hi Karl,
* Karl Berry wrote on Wed, Jan 16, 2008 at 08:35:28PM CET:
>
> Thanks, that was very helpful. I changed the move_to_dest function in
> texi2dvi to always move the file if the source and destination are
> different, instead of using cmp -s.
>
> Please give it a try and let me know if there are problems.
Looks good! I can't reproduce the failure any more.
> I'll attach it for your convenience.
Oh, I just rebuilt current CVS sources for testing.
Cheers, and thanks for the prompt fix!
Ralf