diff options
| author | Maxime Dénès | 2018-06-21 19:07:29 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-06-21 19:07:29 +0200 |
| commit | 01fcf80e83ff85bf07cd3dc59cadad096b68ac92 (patch) | |
| tree | 031de4d062639137eb2e98e67c7463b672792a33 /doc/sphinx/conf.py | |
| parent | 4a3697da7be172c1559588d326a2f02c80bb98e9 (diff) | |
| parent | 7f528cdb0ee42a40792d242357a239969f51cada (diff) | |
Merge PR #7770: Move indices on top on the TOC. Closes #7764.
Diffstat (limited to 'doc/sphinx/conf.py')
| -rwxr-xr-x | doc/sphinx/conf.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py index 135c24aed9..8127d3df3f 100755 --- a/doc/sphinx/conf.py +++ b/doc/sphinx/conf.py @@ -104,7 +104,6 @@ exclude_patterns = [ 'Thumbs.db', '.DS_Store', 'introduction.rst', - 'credits.rst', 'README.rst', 'README.template.rst' ] |