projects / mkws-moved-to-github.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ec76260)
improve distclean
authorWolfram Schneider <wosch@indexdata.dk>
Wed, 26 Mar 2014 09:20:27 +0000 (09:20 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Wed, 26 Mar 2014 09:20:27 +0000 (09:20 +0000)
doc/Makefile patch | blob | history

diff --git a/doc/Makefile b/doc/Makefile
index 93a1423..75a9e2d 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -45,7 +45,7 @@ all: $(DOCS)
 clean:
        rm -f $(DOCS)
 
-distclean: clean
+distclean: clean uninstall
 
 help:
        @echo "make [ all | install | clean | distclean ]"
MasterKey Widget Set