diff --git a/docs/index.rst b/docs/index.rst
index e3cf466d3cf1..a7ae68c87b01 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -44,6 +44,7 @@ For Developers
    contribute/index
    deploy/index
    dev/how_to
+   microtvm/index
    errors
    faq
 
@@ -76,7 +77,6 @@ For Developers
    :hidden:
    :caption: MISC
 
-   microtvm/index
    vta/index