diff options
author | Javier Jardón <jjardon@gnome.org> | 2018-03-19 01:02:25 +0000 |
---|---|---|
committer | Tristan Van Berkom <tristan.van.berkom@gmail.com> | 2018-03-20 12:35:29 +0000 |
commit | 5651340e57d90051b65fcda202b5c167578d97dc (patch) | |
tree | c6ddb7b2432a9bdddfca2451e95c2183690a75c6 | |
parent | edc81dd882a5a8ee79d981c4716cbc6243ce60d3 (diff) | |
download | buildstream-jjardon/theme_change.tar.gz |
source/index.rst: Separate general and reference documentationjjardon/theme_change
Move artifacts from Installing section to general documentation
-rw-r--r-- | doc/source/index.rst | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/source/index.rst b/doc/source/index.rst index ca594aabf..53b97d16a 100644 --- a/doc/source/index.rst +++ b/doc/source/index.rst @@ -23,20 +23,20 @@ dependencies. install docker - artifacts .. toctree:: :maxdepth: 2 - :caption: Reference documentation + :caption: General documentation main_using main_authoring - main_core + artifacts .. toctree:: :maxdepth: 2 - :hidden: + :caption: Reference documentation + main_core modules |