aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2016-11-06 17:20:35 +0100
committerKarel Kočí <cynerd@email.cz>2016-11-06 17:20:35 +0100
commitcce08543931551d85578caa2e108f6d33360bd7b (patch)
treeb5125d03d3c4be8a9613366db797a1e0479c39ea /Makefile
parent73335bc22b24a65d8061962f58097c21608997c5 (diff)
downloadgeml-cce08543931551d85578caa2e108f6d33360bd7b.tar.gz
geml-cce08543931551d85578caa2e108f6d33360bd7b.tar.bz2
geml-cce08543931551d85578caa2e108f6d33360bd7b.zip
Clean docs when distclean is used
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 154d298..ed406f5 100644
--- a/Makefile
+++ b/Makefile
@@ -67,7 +67,7 @@ clean::
@echo " CLEAN geml"
$(Q)$(RM) $(O)/geml
.PHONY: distclean
-distclean:: clean
+distclean:: clean clean-docs
@echo " CLEAN configuration"
$(Q)$(RM) $(O)/.config