From cce08543931551d85578caa2e108f6d33360bd7b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Sun, 6 Nov 2016 17:20:35 +0100 Subject: Clean docs when distclean is used --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3