diff options
author | Georg Brandl <georg@python.org> | 2008-08-10 17:21:08 +0000 |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2008-08-10 17:21:08 +0000 |
commit | 74d52b40bce4d7bdc4944b85324befcdaf8f8d4a (patch) | |
tree | ada1a7581a0bd5c757f271fafc56ad1f07318c97 /sphinx/builder.py | |
parent | b3f1de1bf7d7d155a3d4234fb09f4480ec11ffbb (diff) | |
download | sphinx-git-74d52b40bce4d7bdc4944b85324befcdaf8f8d4a.tar.gz |
Add exclude_dirnames value.
Diffstat (limited to 'sphinx/builder.py')
-rw-r--r-- | sphinx/builder.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sphinx/builder.py b/sphinx/builder.py index adf770070..d76717b6d 100644 --- a/sphinx/builder.py +++ b/sphinx/builder.py @@ -639,6 +639,8 @@ class StandaloneHTMLBuilder(Builder): if path.isfile(fullname): shutil.copyfile(fullname, targetname) elif path.isdir(fullname): + if filename in self.config.exclude_dirnames: + continue if path.exists(targetname): shutil.rmtree(targetname) shutil.copytree(fullname, targetname) |