diff options
-rw-r--r-- | Documentation/index.rst | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Documentation/index.rst b/Documentation/index.rst index 9f907c9f..5dd87e43 100644 --- a/Documentation/index.rst +++ b/Documentation/index.rst @@ -22,7 +22,6 @@ Developer documentation dev-options api IR - doc-guide types How to contribute @@ -33,6 +32,13 @@ How to contribute submitting-patches TODO +Documentation +------------- +.. toctree:: + :maxdepth: 1 + + doc-guide + Indices and tables ================== |