summaryrefslogtreecommitdiffstats
path: root/config.yml
diff options
context:
space:
mode:
Diffstat (limited to 'config.yml')
-rw-r--r--config.yml3
1 files changed, 3 insertions, 0 deletions
diff --git a/config.yml b/config.yml
index d9614817..7b7853ea 100644
--- a/config.yml
+++ b/config.yml
@@ -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