aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorClément Bénier <clement.benier@iot.bzh>2018-10-18 14:20:41 +0200
committerClément Bénier <clement.benier@iot.bzh>2018-10-18 14:24:45 +0200
commit28139f1369f6afa242261994d73387146d76c71b (patch)
tree5713a6ae59dfacbe139406633ef06e1f06af26d0
parent0b459b6d564e74f28405e8393616ccf0a769a943 (diff)
Makefile clean rule: dependency on doctools
add in clean rule dependency on doctools because clean needs docbuild Change-Id: Iaa75baf6b7941639d8a4c5a31a92e597cae6cef7 Signed-off-by: Clément Bénier <clement.benier@iot.bzh>
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index c1acae2..4646799 100644
--- a/Makefile
+++ b/Makefile
@@ -31,7 +31,7 @@ distclean: clean
rm -fr $(DOCTOOLS)
.PHONY: clean
-clean:
+clean: doctools
$(DOCBUILD) $(VERBOSE) --clean
rm -f $(FETCHTS)
rm -f $(LOCALFETCH)