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
