move api reference out of about section

GillianPlatform · Nov 20, 2024 · ee623a4 · ee623a4
1 parent 9d33ec2
commit ee623a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sphinx/index.rst b/sphinx/index.rst
@@ -9,6 +9,7 @@ Gillian is a multi-language analysis platform supporting, e.g., verification and
    install
    develop
    debugger
+   API reference </odoc#http://>
 
 .. toctree::
    :titlesonly:
@@ -23,7 +24,6 @@ Gillian is a multi-language analysis platform supporting, e.g., verification and
    :titlesonly:
    :caption: About Gillian
 
-   API reference </odoc#http://>
    publications/index
    other-publications/index
    license