diff options
Diffstat (limited to 'documentation/conf.py')
-rw-r--r-- | documentation/conf.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/documentation/conf.py b/documentation/conf.py index ebc26aa3bf..9a0186f352 100644 --- a/documentation/conf.py +++ b/documentation/conf.py | |||
@@ -53,8 +53,7 @@ templates_path = ['_templates'] | |||
53 | # List of patterns, relative to source directory, that match files and | 53 | # List of patterns, relative to source directory, that match files and |
54 | # directories to ignore when looking for source files. | 54 | # directories to ignore when looking for source files. |
55 | # This pattern also affects html_static_path and html_extra_path. | 55 | # This pattern also affects html_static_path and html_extra_path. |
56 | exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store', 'boilerplate.rst', | 56 | exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store', 'boilerplate.rst'] |
57 | 'adt-manual/*.rst'] | ||
58 | 57 | ||
59 | # master document name. The default changed from contents to index. so better | 58 | # master document name. The default changed from contents to index. so better |
60 | # set it ourselves. | 59 | # set it ourselves. |