diff options
author | 2018-10-17 15:50:18 +0200 | |
---|---|---|
committer | 2018-10-18 11:33:03 +0200 | |
commit | f0e40ed5a98495c7beba475c552cd449c9ee3498 (patch) | |
tree | 1824e600c2677640fbb37cf2b37dc0191c59049a /site/_posts | |
parent | 4fc602d4b47811b3b00f07124e27d51b1a9e997a (diff) |
docs-agl conformity: make it working as docs-agl
Makefile:
- add rules to clone doctools
- add dependencies on doctools for each rule
- add distclean rule to remove doctools repo
docs.json:
- add doctools section with url and version
fetch.yml:
- change fetching for former docs-agl source, it is now in
docs-source repo
Change-Id: I0f9c5c8b3cbf46cfd280f9db7fbe80a925460062
Signed-off-by: Clément Bénier <clement.benier@iot.bzh>
Diffstat (limited to 'site/_posts')
0 files changed, 0 insertions, 0 deletions