diff options
-rw-r--r-- | documentation/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/documentation/conf.py b/documentation/conf.py index e1a7e5e3dd..34d1bc97a4 100644 --- a/documentation/conf.py +++ b/documentation/conf.py | |||
@@ -53,7 +53,8 @@ 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'] | ||
57 | 58 | ||
58 | # master document name. The default changed from contents to index. so better | 59 | # master document name. The default changed from contents to index. so better |
59 | # set it ourselves. | 60 | # set it ourselves. |