Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-21 23:59:00 +01:00
Code Issues Projects Releases Packages Wiki Activity

Fix the docs again

Browse source
This commit is contained in:
Manish Goregaokar 2015-02-03 16:47:44 +05:30
parent 954a044570
commit 3fd8e2da27
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...") print("Extracting Rust docs...")
temp_dir = path.join(hash_dir, "temp_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) extract(tgz_file, temp_dir)
shutil.move(path.join(temp_dir, docs_name.split("/")[1], "share", "doc", "rust", "html"), docs_dir) shutil.move(path.join(temp_dir, docs_name.split("/")[1], "share", "doc", "rust", "html"), docs_dir)
shutil.rmtree(temp_dir) shutil.rmtree(temp_dir)