diff options
| author | jvoisin | 2017-12-21 11:33:29 +0100 |
|---|---|---|
| committer | jvoisin | 2017-12-21 11:33:48 +0100 |
| commit | b20bbff80ff873fb5ecc3ebc60d72826a8d0ac22 (patch) | |
| tree | 7f623c81537200dcb88ab9934894d8c9e5c63771 /doc/source/index.rst | |
| parent | 58d5e50ef33bbea5d1620c2a51562f68e3a0445b (diff) | |
Add some release-related documentation
Diffstat (limited to 'doc/source/index.rst')
| -rw-r--r-- | doc/source/index.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/source/index.rst b/doc/source/index.rst index a1d1b0f..28d0474 100644 --- a/doc/source/index.rst +++ b/doc/source/index.rst | |||
| @@ -16,6 +16,7 @@ Documentation | |||
| 16 | installation | 16 | installation |
| 17 | config | 17 | config |
| 18 | download | 18 | download |
| 19 | changelog | ||
| 19 | faq | 20 | faq |
| 20 | papers | 21 | papers |
| 21 | 22 | ||