aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-06-12 23:34:21 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-06-12 23:35:50 +0200
commit69433d2abc9905370ed95ded5aa9ba3c5ca1eb75 (patch)
tree8650fa725052ff4a6e8eac5a4b4366b88a7bcc96
parentb4dc4b91ce01ea05e7a6895cdc48044caf52621b (diff)
downloadsparse-69433d2abc9905370ed95ded5aa9ba3c5ca1eb75.tar.gz
doc: move meta-doc to its own section
The documentation about the documentation is in the middle of the documentation about sparse itself. Move it to its own section. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r--Documentation/index.rst8
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
==================