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

[Karl Berry]

Hi Ralf,

    sometimes (seemingly when tex is run several times) creates a leftover

Have you found a reproducible (or even probabilistic :) way to make it
happen?

    happens when the last tex command creates an identical dvi file, so

Sounds pretty plausible.  I'll look into it.

    <http://lists.gnu.org/archive/html/bug-texinfo/2007-12/msg00029.html>

It'll be fixed before the next release, one way or another.

Thanks,
karl