diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-03-12 09:56:53 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-13 12:45:32 +0100 |
commit | 4ee02719ae211493b2922c04f259062ee230ed5c (patch) | |
tree | 764697e44c527bf60a72294a6a59ab0943a05bdf /doc/sphinx/conf.py | |
parent | e8a88a294f02217e0c66656dfd1bc3b5646e8517 (diff) |
[Sphinx] Add introduction
I backported changes done to the LaTeX manual.
Diffstat (limited to 'doc/sphinx/conf.py')
-rwxr-xr-x | doc/sphinx/conf.py | 2 |
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. |