diff options
| author | georg.brandl <devnull@localhost> | 2008-08-10 17:21:08 +0000 |
|---|---|---|
| committer | georg.brandl <devnull@localhost> | 2008-08-10 17:21:08 +0000 |
| commit | c88468349f6ba619c30d8ad5ee14380c824e535d (patch) | |
| tree | ada1a7581a0bd5c757f271fafc56ad1f07318c97 /sphinx/builder.py | |
| parent | 9badf85f9be4e30c999725d876937dc029c60a53 (diff) | |
| download | sphinx-c88468349f6ba619c30d8ad5ee14380c824e535d.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 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) |
