>>> "Akim" == Akim Demaille <[EMAIL PROTECTED]> writes:
> Hi! > I think this behavior is better. Maybe copying back the log file is > wrong on success, I'm really unsure on this part, but since we copy it > back on failure, it should obey -o too. But maybe we should not copy > it back either? My comment and my patch do not agree: the log file is not copied back on success. I think this is OK. But then we have a problem: if the compilation fails, a foo.log pops up, now fix and run: foo.log is still here, referring to the previous failing compilation. We should remove it. Or never copy that file back? _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo [email protected] http://lists.gnu.org/mailman/listinfo/help-texinfo
