diff options
| author | Frank LENORMAND <lenormf@gmail.com> | 2017-03-26 10:38:24 +0300 |
|---|---|---|
| committer | Frank LENORMAND <lenormf@gmail.com> | 2017-03-26 10:49:17 +0300 |
| commit | ce7673b7b76f2857acd3911ea0bf6aefc842f952 (patch) | |
| tree | f65bf05948ea73b5b213c007a1995ff5231abce1 /src | |
| parent | ca1757230113f7cbbafcd091453a3807c0f5127b (diff) | |
src: Fix the `distclean` Makefile target
Have the Makefile remove the actual binaries and generated documentation
when called with the `distclean` target
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index f254b7e5..dbef95d9 100644 --- a/src/Makefile +++ b/src/Makefile @@ -103,7 +103,8 @@ clean: rm -f .*.o .*.d distclean: clean - rm -f kak + rm -f kak kak$(suffix) + find ../doc -type f -name \*\\.gz -exec rm -f '{}' + installdirs: install -d $(bindir) \ |