diff options
author | Jakob Unterwurzacher | 2017-09-16 14:19:40 +0200 |
---|---|---|
committer | Jakob Unterwurzacher | 2017-09-16 14:19:40 +0200 |
commit | 684d3ddde0d2e0cab88f3e6e77d5a3265988a832 (patch) | |
tree | 1604da6c6c848d5804c8564fe01fa722e9e2a9bc | |
parent | 5dd5895e2355571d26655957b52b39f69e43c77d (diff) |
Makefile: add "clean" target
-rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1,3 +1,7 @@ all: git pull mkdocs build --clean 2>&1 | grep -v "Warning: Click detected the use of the unicode_literals" + +.PHONY: clean +clean: + rm -Rf site |