1 files changed, 1 insertions, 0 deletions

diff --git a/config.yml b/config.yml
index d6d93dfe..5028e755 100644
--- a/config.yml
+++ b/config.yml
@@ -38,6 +38,7 @@ spec:
   cache-directory: cache
   spec-type-root-uid: /spec/root
   paths:
+  - spec-spec
   - spec
   - modules/rtems/spec
 glossary: