diff --git a/.gitlab-ci/docs b/.gitlab-ci/docs
new file mode 120000
index 00000000000..af422dba8f1
--- /dev/null
+++ b/.gitlab-ci/docs
@@ -0,0 +1 @@
+../docs/ci
\ No newline at end of file
diff --git a/docs/ci.rst b/docs/ci/index.rst
similarity index 100%
rename from docs/ci.rst
rename to docs/ci/index.rst
diff --git a/docs/contents.rst b/docs/contents.rst
index 4403bc0898d..f825ba8cbdc 100644
--- a/docs/contents.rst
+++ b/docs/contents.rst
@@ -61,7 +61,7 @@
    devinfo
    codingstyle
    submittingpatches
-   ci
+   ci/index
    releasing
    release-calendar
    sourcedocs