On Wed, 2017-02-01 at 13:20 -0700, Jonathan Corbet wrote: > On Tue, 31 Jan 2017 15:37:50 +0000 > Ben Hutchings <b...@decadent.org.uk> wrote: > > > > I'd just use dot -o. > > > > That does make more sense. I looked for such an option before > > writing > > this, but the manual page doesn't mention it! > > Can I get an updated patch from you? Then I'll apply the whole > set...
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. Ben. -- Ben Hutchings A free society is one where it is safe to be unpopular. - Adlai Stevenson -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html