On Sat, 04 Feb 2017 17:18:43 +0100 Ben Hutchings <[email protected]> wrote:
> I've now tested this, and found that dot still touches the output file > even if it fails. So changing to -o doesn't fix anything. > > Please apply the original patch. That has now been done. Thanks, jon -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
