commit cce75bc0ece27c39c86589af49804e29e9a788b5
parent 82d390808d7121df472d9692071a49236e3efd2f
Author: Hiltjo Posthuma <hiltjo@codemadness.org>
Date: Mon, 5 Jan 2015 21:37:43 +0100
Makefile: clean previous make dist release if it exists
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git 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