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