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'] # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. # This pattern also affects html_static_path and html_extra_path. -exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store', 'boilerplate.rst'] +exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store', 'boilerplate.rst', + 'adt-manual/*.rst'] # master document name. The default changed from contents to index. so better # set it ourselves.