[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: |
Karl Berry |
Subject: |
Re: texi2dvi -o dir/file.dvi creates leftover file.dvi in pwd |
Date: |
Mon, 14 Jan 2008 17:37:10 -0600 |
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
- texi2dvi -o dir/file.dvi creates leftover file.dvi in pwd, Ralf Wildenhues, 2008/01/14
- Re: texi2dvi -o dir/file.dvi creates leftover file.dvi in pwd,
Karl Berry <=
- Re: texi2dvi -o dir/file.dvi creates leftover file.dvi in pwd, Ralf Wildenhues, 2008/01/15
- Re: texi2dvi -o dir/file.dvi creates leftover file.dvi in pwd, Karl Berry, 2008/01/16
- Re: texi2dvi -o dir/file.dvi creates leftover file.dvi in pwd, Ralf Wildenhues, 2008/01/16
- Re: texi2dvi -o dir/file.dvi creates leftover file.dvi in pwd, Ralf Wildenhues, 2008/01/17
- Re: texi2dvi -o dir/file.dvi creates leftover file.dvi in pwd, Karl Berry, 2008/01/17
- Re: texi2dvi -o dir/file.dvi creates leftover file.dvi in pwd, Ralf Wildenhues, 2008/01/22