summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorHiltjo Posthuma <hiltjo@codemadness.org>2015-01-05 21:37:43 +0100
committerHiltjo Posthuma <hiltjo@codemadness.org>2015-01-05 21:37:43 +0100
commitcce75bc0ece27c39c86589af49804e29e9a788b5 (patch)
tree69dd0d7b1efadd8cdf661995e15dca8c6b785db1 /Makefile
parent82d390808d7121df472d9692071a49236e3efd2f (diff)
Makefile: clean previous make dist release if it exists
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 665681e..bafafb8 100644
--- a/Makefile
+++ b/Makefile
@@ -58,6 +58,7 @@ all: $(BIN)
${CC} -c ${CFLAGS} $<
dist: $(BIN) doc
+ rm -rf release/${VERSION}
mkdir -p release/${VERSION}
# legacy man-pages (add doc-oldman as dependency rule).
#for m in $(MAN1); do cp -f doc/man/$$m release/${VERSION}/; done