1 files changed, 2 insertions, 1 deletions
diff --git a/config.yml b/config.yml
index 16105bf1..1b96b7e7 100644
--- a/config.yml
+++ b/config.yml
@@ -60,12 +60,13 @@ build:
   workspace-directory: workspace/rtems
 spec:
   cache-directory: cache
-  spec-type-root-uid: /spec/root
   paths:
   - spec-spec
   - spec
   - spec-glossary
   - modules/rtems/spec
+  resolve-proxies: true
+  spec-type-root-uid: /spec/root
 glossary:
   project-groups:
   - /glossary-general