diff --git a/docs/index.rst b/docs/index.rst
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -67,7 +67,7 @@
    metadata
    dev-info
    sys-info
-   specs/specs
+   specs/index
    tests/tests_HAL.rst
 
 
diff --git a/docs/specs/specs.rst b/docs/specs/index.rst
rename from docs/specs/specs.rst
rename to docs/specs/index.rst