Move Library Manager to separate group

This commit is contained in:
Ivan Kravets
2015-12-02 23:28:49 +02:00
parent 28399f8ac6
commit c670372b41
5 changed files with 19 additions and 42 deletions

View File

@@ -99,11 +99,18 @@ Contents
Platforms & Boards <platforms/index>
frameworks/index
.. toctree::
:caption: Library Manager
:maxdepth: 2
User Guide <userguide/lib/index.rst>
librarymanager/config
librarymanager/creating
.. toctree::
:caption: Integration
:maxdepth: 2
librarymanager/index
ci/index
ide