Re: texi2dvi -o dir/file.dvi creates leftover file.dvi in pwd

[Karl Berry]

      cvs -d :pserver:address@hidden:/cvsroot/libtool co libtool

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.  I'll attach
it for your convenience.

Thanks,
Karl

texi2dvi
Description: Binary data