diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-05-21 15:16:14 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-05-28 10:38:23 +0200 |
| commit | bd5a19e6a7bddf694c7386040ae198a1581ef4d4 (patch) | |
| tree | 1287b1bc9536178e8e2d1460c222c28ea36e00ab /config.yml | |
| parent | content: Fix special characters in section labels (diff) | |
| download | rtems-central-bd5a19e6a7bddf694c7386040ae198a1581ef4d4.tar.bz2 | |
Add specdoc.py
Diffstat (limited to 'config.yml')
| -rw-r--r-- | config.yml | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -88,3 +88,6 @@ interface: rtems: external/rtems spec-verification: root-type: /spec/root +spec-documentation: + root-type: /spec/root + doc-target: external/rtems-docs/eng/req/items.rst |