1 files changed, 6 insertions, 3 deletions
diff --git a/doc/sphinx/appendix/indexes/index.rst b/doc/sphinx/appendix/indexes/index.rst
index a5032ff822..7dd0f62a9f 100644
--- a/doc/sphinx/appendix/indexes/index.rst
+++ b/doc/sphinx/appendix/indexes/index.rst
@@ -11,14 +11,17 @@ find what you are looking for.
 
 .. toctree::
 
-   ../../genindex
+   ../../std-glossindex
    ../../coq-cmdindex
    ../../coq-tacindex
+   ../../coq-attrindex
    ../../coq-optindex
    ../../coq-exnindex
+   ../../genindex
 
 For reference, here are direct links to the documentation of:
 
-- :ref:`flags, options and tables <flags-options-tables>`;
+- :ref:`attributes`
+- :ref:`flags-options-tables`;
 - controlling the display of warning messages with the :opt:`Warnings`
-  option.
+  option;