From 999c6945263bfb1a1b1f704b5e37ce93cd26474c Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Mon, 10 Feb 2014 21:51:20 -0500 Subject: Makefile: set DELETE_ON_ERROR --- docs/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/Makefile b/docs/Makefile index b646976..18c0dc6 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -22,3 +22,5 @@ DesignDocument.pdf.args = --table-of-contents --number-sections -f markdown+defi clean: rm -f -- *.pdf *.html + +.DELETE_ON_ERROR: -- cgit v1.2.3