diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-08-10 21:21:37 +0200 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-08-10 22:54:47 +0200 |
commit | ee51f5ae925286d83509fe11a0918c589338d1b0 (patch) | |
tree | 2e1989c5f02c80ccf9d1834d14e49b56178e8532 | |
parent | 24d7f8bf2dfc4342e4cebb1560f822a77922913d (diff) | |
download | sparse-ee51f5ae925286d83509fe11a0918c589338d1b0.tar.gz |
doc: reorganize the table of content
Reorganize the table of of content with user documentation first
then all documentation useful for development on sparse itself.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r-- | Documentation/index.rst | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/Documentation/index.rst b/Documentation/index.rst index 321a947e..4bca8c7e 100644 --- a/Documentation/index.rst +++ b/Documentation/index.rst @@ -64,22 +64,22 @@ Bugs can also be reported and tracked via the `Linux kernel's bugzilla for spars .. toctree:: - :caption: Documentation + :caption: User Documentation :maxdepth: 1 annotations - dev-options - types - api - IR - test-suite - doc-guide .. toctree:: - :caption: How to contribute + :caption: Development :maxdepth: 1 submitting-patches + types + api + dev-options + IR + test-suite + doc-guide TODO .. toctree:: |