diff --git a/docs-site/infra-documents.yaml b/docs-site/infra-documents.yaml
index f80026c4d5..fa3a73882e 100644
--- a/docs-site/infra-documents.yaml
+++ b/docs-site/infra-documents.yaml
@@ -1,6 +1,8 @@
 documents:
   - name: Infrastructure Manual
     directory: manual
+  - name: Elastic Recheck
+    directory: elastic-recheck
   - name: Jenkins Job Builder
     directory: jenkins-job-builder
   - name: Nodepool