diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
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: |