diff options
author | 2016-10-14 09:25:23 +0000 | |
---|---|---|
committer | 2016-10-14 09:25:23 +0000 | |
commit | 20ec68c72c7ec5d12f4b207ac367df1fe1a00d3d (patch) | |
tree | da2929f1f939ea65d1b5f44451c0bc6304084c3f /docs/userguide/index.rst | |
parent | 2c7f65363fc429fbf58bacfae9edbf8e601d01c7 (diff) | |
parent | 8b1cb4abd504e6286a691575c31c6a69aa6f8e50 (diff) |
Merge "Add documentation for dovetail tool"
Diffstat (limited to 'docs/userguide/index.rst')
-rw-r--r-- | docs/userguide/index.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/userguide/index.rst b/docs/userguide/index.rst index 03246e7b..0dcf55ce 100644 --- a/docs/userguide/index.rst +++ b/docs/userguide/index.rst @@ -14,3 +14,4 @@ Dovetail - user guide ./01-introduction.rst ./02-certification_criteria.rst ./03-certification_progress.rst + ./04-dovetail_config_template.rst |