diff options
author | 2018-10-18 14:20:41 +0200 | |
---|---|---|
committer | 2018-10-18 14:24:45 +0200 | |
commit | 28139f1369f6afa242261994d73387146d76c71b (patch) | |
tree | 5713a6ae59dfacbe139406633ef06e1f06af26d0 | |
parent | 0b459b6d564e74f28405e8393616ccf0a769a943 (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-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -31,7 +31,7 @@ distclean: clean rm -fr $(DOCTOOLS) .PHONY: clean -clean: +clean: doctools $(DOCBUILD) $(VERBOSE) --clean rm -f $(FETCHTS) rm -f $(LOCALFETCH) |