diff options
Diffstat (limited to 'sphinx/environment.py')
-rw-r--r-- | sphinx/environment.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sphinx/environment.py b/sphinx/environment.py index 35799bea..3c9c830c 100644 --- a/sphinx/environment.py +++ b/sphinx/environment.py @@ -335,6 +335,7 @@ class BuildEnvironment: """ matchers = compile_matchers( config.exclude_patterns[:] + + config.html_extra_path + config.exclude_trees + [d + config.source_suffix for d in config.unused_docs] + ['**/' + d for d in config.exclude_dirnames] + |