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 |