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?
_______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo [email protected] http://lists.gnu.org/mailman/listinfo/help-texinfo
