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
