diff options
| author | Markus Heiser <markus.heiser@darmarit.de> | 2020-02-04 16:42:13 +0100 |
|---|---|---|
| committer | Markus Heiser <markus.heiser@darmarit.de> | 2020-02-04 16:42:13 +0100 |
| commit | eedd63ccd504099836d9f528d02daffa6bc826ad (patch) | |
| tree | f51e0ddbcaaa3c97303625ff597f74eb07457ffb /docs/dev | |
| parent | a5eefea61d8a2287a0065f79cbe12d4e415be743 (diff) | |
docs: revision of the installation instructions
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Diffstat (limited to 'docs/dev')
| -rw-r--r-- | docs/dev/contribution_guide.rst | 5 | ||||
| -rw-r--r-- | docs/dev/index.rst | 3 |
2 files changed, 7 insertions, 1 deletions
diff --git a/docs/dev/contribution_guide.rst b/docs/dev/contribution_guide.rst index 459dfb448..f9e9569f9 100644 --- a/docs/dev/contribution_guide.rst +++ b/docs/dev/contribution_guide.rst @@ -4,6 +4,11 @@ How to contribute ================= +.. contents:: Contents + :depth: 2 + :local: + :backlinks: entry + Prime directives: Privacy, Hackability ====================================== diff --git a/docs/dev/index.rst b/docs/dev/index.rst index cb913a82b..ba0a25a9c 100644 --- a/docs/dev/index.rst +++ b/docs/dev/index.rst @@ -3,7 +3,8 @@ Developer documentation ======================= .. toctree:: - :maxdepth: 1 + :maxdepth: 2 + :caption: Contents quickstart contribution_guide |