Move Micro TVM top level page (apache#8249)

The micro TVM page was moved during a recent docs update. This patch moved the top level index to the former location.
trevor-m · Jun 17, 2021 · d01889d · d01889d
1 parent 4e459cf
commit d01889d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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