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/contribution_guide.rst | |
| parent | a5eefea61d8a2287a0065f79cbe12d4e415be743 (diff) | |
docs: revision of the installation instructions
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Diffstat (limited to 'docs/dev/contribution_guide.rst')
| -rw-r--r-- | docs/dev/contribution_guide.rst | 5 |
1 files changed, 5 insertions, 0 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 ====================================== |