diff options
| author | Maxime Dénès | 2018-03-12 14:12:26 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-03-15 00:07:26 +0100 |
| commit | b2fa2802d53cf9a908e98afe058e389c46ab9bec (patch) | |
| tree | 4c6a75ac5a7401a2eeb57efcf75b237a9f59528c /doc/sphinx/conf.py | |
| parent | 9e2a3531f2e82038f74cd5543eeef7418c494a28 (diff) | |
[Sphinx] Add credits
Diffstat (limited to 'doc/sphinx/conf.py')
| -rwxr-xr-x | doc/sphinx/conf.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py index 12aeee3f91..23bc9a2e4a 100755 --- a/doc/sphinx/conf.py +++ b/doc/sphinx/conf.py @@ -95,7 +95,13 @@ language = None # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. # This patterns also effect to html_static_path and html_extra_path -exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store', 'introduction.rst'] +exclude_patterns = [ + '_build', + 'Thumbs.db', + '.DS_Store', + 'introduction.rst', + 'credits.rst' +] # The reST default role (used for this markup: `text`) to use for all # documents. |
