diff options
| author | Georg Brandl <georg@python.org> | 2008-08-06 14:46:11 +0000 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2008-08-06 14:46:11 +0000 |
| commit | 26d724cb6d4d9e2c3532cc26fc99f28346434e6b (patch) | |
| tree | b77e1641103888124b34da3c9a640bd731178939 /sphinx/builder.py | |
| parent | 2bc9b72bfd3c1cda9fd54c6c7120f690e6c674b9 (diff) | |
| download | sphinx-git-26d724cb6d4d9e2c3532cc26fc99f28346434e6b.tar.gz | |
Merged revisions 65532,65546-65547,65550-65551 via svnmerge from
svn+ssh://pythondev@svn.python.org/doctools/branches/0.4.x
........
r65532 | georg.brandl | 2008-08-04 22:35:07 +0000 (Mon, 04 Aug 2008) | 2 lines
Add a test file for misc. markup and fix a doc bug.
........
r65546 | georg.brandl | 2008-08-05 09:55:20 +0000 (Tue, 05 Aug 2008) | 2 lines
Show an indication while downloading the search index.
........
r65547 | georg.brandl | 2008-08-05 10:07:50 +0000 (Tue, 05 Aug 2008) | 2 lines
Fix an indentation problem in production lists. #3477.
........
r65550 | georg.brandl | 2008-08-05 16:21:34 +0000 (Tue, 05 Aug 2008) | 2 lines
Remove unused interface.js.
........
r65551 | georg.brandl | 2008-08-06 08:48:21 +0000 (Wed, 06 Aug 2008) | 2 lines
Don't try to remove a nonexisting static dir.
........
Diffstat (limited to 'sphinx/builder.py')
| -rw-r--r-- | sphinx/builder.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sphinx/builder.py b/sphinx/builder.py index 37d4195d4..a1053bf74 100644 --- a/sphinx/builder.py +++ b/sphinx/builder.py @@ -604,7 +604,8 @@ class StandaloneHTMLBuilder(Builder): if path.isfile(fullname): shutil.copyfile(fullname, targetname) elif path.isdir(fullname): - shutil.rmtree(targetname) + if path.exists(targetname): + shutil.rmtree(targetname) shutil.copytree(fullname, targetname) # copy logo file (handled differently) if self.config.html_logo: |