summaryrefslogtreecommitdiff
path: root/sphinx/builder.py
diff options
context:
space:
mode:
authorgeorg.brandl <devnull@localhost>2008-08-10 17:21:08 +0000
committergeorg.brandl <devnull@localhost>2008-08-10 17:21:08 +0000
commitc88468349f6ba619c30d8ad5ee14380c824e535d (patch)
treeada1a7581a0bd5c757f271fafc56ad1f07318c97 /sphinx/builder.py
parent9badf85f9be4e30c999725d876937dc029c60a53 (diff)
downloadsphinx-c88468349f6ba619c30d8ad5ee14380c824e535d.tar.gz
Add exclude_dirnames value.
Diffstat (limited to 'sphinx/builder.py')
-rw-r--r--sphinx/builder.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/sphinx/builder.py b/sphinx/builder.py
index adf77007..d76717b6 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)