diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2015-02-03 16:47:44 +0530 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2015-02-03 16:47:44 +0530 |
| commit | 3fd8e2da27ac1d3b172c643f94692e4b036d6397 (patch) | |
| tree | 101176574ac6bb314ca23ba12062046a2e77bfce /python/servo/bootstrap_commands.py | |
| parent | 954a044570c9517d08d63d92707109cf05a28dbe (diff) | |
| download | servo-3fd8e2da27ac1d3b172c643f94692e4b036d6397.tar.gz servo-3fd8e2da27ac1d3b172c643f94692e4b036d6397.zip | |
Fix the docs again
Diffstat (limited to 'python/servo/bootstrap_commands.py')
| -rw-r--r-- | python/servo/bootstrap_commands.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/python/servo/bootstrap_commands.py b/python/servo/bootstrap_commands.py index 6828774da6a..cca2589b52c 100644 --- a/python/servo/bootstrap_commands.py +++ b/python/servo/bootstrap_commands.py @@ -127,7 +127,8 @@ class MachCommands(CommandBase): print("Extracting Rust docs...") temp_dir = path.join(hash_dir, "temp_docs") - shutil.rmtree(temp_dir) + if path.isdir(temp_dir): + shutil.rmtree(temp_dir) extract(tgz_file, temp_dir) shutil.move(path.join(temp_dir, docs_name.split("/")[1], "share", "doc", "rust", "html"), docs_dir) shutil.rmtree(temp_dir) |