Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-10 16:05:43 +01:00
Code Issues Projects Releases Packages Wiki Activity

auto merge of #4813 : Manishearth/servo/fix-fix-fix-doc, r=Ms2ger

Browse source
This commit is contained in:
bors-servo 2015-02-03 04:21:50 -07:00
commit 4622961d01
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
python/servo/bootstrap_commands.py
View file

@ -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)