summaryrefslogtreecommitdiffstats
path: root/config.yml
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2020-07-16 12:16:19 +0200
committerSebastian Huber <sebastian.huber@embedded-brains.de>2020-09-18 13:17:54 +0200
commit87b54577fac555907ea68cf8008602bd65157d25 (patch)
tree542ef3b2c4504442a2190b075c62f0e4969aa3d0 /config.yml
parentcontent: Add CContent.add_includes() test case (diff)
downloadrtems-central-87b54577fac555907ea68cf8008602bd65157d25.tar.bz2
specdoc: Make label prefix configurable
Diffstat (limited to 'config.yml')
-rw-r--r--config.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/config.yml b/config.yml
index debeac79..cf188b05 100644
--- a/config.yml
+++ b/config.yml
@@ -100,3 +100,4 @@ spec-verification:
spec-documentation:
root-type: /spec/root
doc-target: modules/rtems-docs/eng/req/items.rst
+ label-prefix: SpecType