aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/conf.py
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2018-03-12 09:56:53 +0100
committerGravatar Maxime Dénès <mail@maximedenes.fr>2018-03-13 12:45:32 +0100
commit4ee02719ae211493b2922c04f259062ee230ed5c (patch)
tree764697e44c527bf60a72294a6a59ab0943a05bdf /doc/sphinx/conf.py
parente8a88a294f02217e0c66656dfd1bc3b5646e8517 (diff)
[Sphinx] Add introduction
I backported changes done to the LaTeX manual.
Diffstat (limited to 'doc/sphinx/conf.py')
-rwxr-xr-xdoc/sphinx/conf.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 4c153a190..12aeee3f9 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -95,7 +95,7 @@ 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']
+exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store', 'introduction.rst']
# The reST default role (used for this markup: `text`) to use for all
# documents.