Re: [help-texinfo] texi2dvi: Preserve foo.log

[Akim Demaille]

>>> "Karl" == Karl Berry <address@hidden> writes:

 AD> We should remove it.  Or never copy that file back?

 > I see no particular reason to copy the log file if we're not copying
 > anything else.  (And it seems cleaner not to copy anything.)  Perhaps
 > the error message could refer to the log file in its actual location?
 > Wdyt?

That's a very nice idea, but what about --clean, where you are
expected to remove the temp file.  Should we leave the whole
directory?  Move just the log file?