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 /content/tocs | |
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 'content/tocs')
0 files changed, 0 insertions, 0 deletions