diff options
| author |   Clément Bénier <clement.benier@iot.bzh> | 2018-10-18 14:20:41 +0200 |
|---|---|---|
| committer | Clément Bénier <clement.benier@iot.bzh> | 2018-10-18 14:20:41 +0200 |
| commit | 8632e13762cd25f1fb6e818b98790a8643577881 (patch) | |
| tree | ed6028168dfbaf48655d2b72244c0b3424d7a890 /Makefile | |
| parent | f0e40ed5a98495c7beba475c552cd449c9ee3498 (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>
Diffstat (limited to 'Makefile')
| -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) |