aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/conf.py
diff options
context:
space:
mode:
authorMaxime Dénès2018-03-12 14:12:26 +0100
committerMaxime Dénès2018-03-15 00:07:26 +0100
commitb2fa2802d53cf9a908e98afe058e389c46ab9bec (patch)
tree4c6a75ac5a7401a2eeb57efcf75b237a9f59528c /doc/sphinx/conf.py
parent9e2a3531f2e82038f74cd5543eeef7418c494a28 (diff)
[Sphinx] Add credits
Diffstat (limited to 'doc/sphinx/conf.py')
-rwxr-xr-xdoc/sphinx/conf.py8
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.