diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-06-21 19:07:29 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-06-21 19:07:29 +0200 |
commit | 01fcf80e83ff85bf07cd3dc59cadad096b68ac92 (patch) | |
tree | 031de4d062639137eb2e98e67c7463b672792a33 /doc/sphinx/introduction.rst | |
parent | 4a3697da7be172c1559588d326a2f02c80bb98e9 (diff) | |
parent | 7f528cdb0ee42a40792d242357a239969f51cada (diff) |
Merge PR #7770: Move indices on top on the TOC. Closes #7764.
Diffstat (limited to 'doc/sphinx/introduction.rst')
-rw-r--r-- | doc/sphinx/introduction.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/sphinx/introduction.rst b/doc/sphinx/introduction.rst index 75ff72c4d..20e4069f4 100644 --- a/doc/sphinx/introduction.rst +++ b/doc/sphinx/introduction.rst @@ -1,3 +1,5 @@ +.. _introduction: + ------------------------ Introduction ------------------------ |