diff options
author | Hiltjo Posthuma <hiltjo@codemadness.org> | 2015-01-05 21:37:43 +0100 |
---|---|---|
committer | Hiltjo Posthuma <hiltjo@codemadness.org> | 2015-01-05 21:37:43 +0100 |
commit | cce75bc0ece27c39c86589af49804e29e9a788b5 (patch) | |
tree | 69dd0d7b1efadd8cdf661995e15dca8c6b785db1 | |
parent | 82d390808d7121df472d9692071a49236e3efd2f (diff) |
Makefile: clean previous make dist release if it exists
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |