Use numbered headings for toolkits

dyninst · Dec 13, 2022 · 1c5b066 · 1c5b066
1 parent a21fa3c
commit 1c5b066
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/index.rst b/docs/index.rst
@@ -114,6 +114,7 @@ Developed by
 .. toctree::
    :caption: toolkits 
    :name: toolkits
+   :numbered: 3
    :hidden:
    :maxdepth: 2
 
@@ -147,4 +148,4 @@ Developed by
    patchAPI/API
    proccontrolAPI/API
    stackwalk/API
-   symtabAPI/API
+   symtabAPI/API