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

auto merge of #4203 : SimonSapin/servo/refactor-doc, r=Manishearth

Browse source
This commit is contained in:
bors-servo 2014-12-03 19:09:58 -07:00
commit ad9aedac77
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
python/servo/post_build_commands.py
View file

@ -80,9 +80,10 @@ class MachCommands(CommandBase):
self.ensure_bootstrapped()
rust_docs = path.join(self.config["tools"]["rust-root"], "doc")
docs = path.join("components", "servo", "target", "doc")
docs = path.join(
self.context.topdir, "components", "servo", "target", "doc")
if not path.exists(docs):
os.mkdir(docs)
os.makedirs(docs)
if read_file(path.join(docs, "version_info.html"), if_exists=True) != \
read_file(path.join(rust_docs, "version_info.html")):
@ -109,4 +110,4 @@ class MachCommands(CommandBase):
self.doc([])
import webbrowser
webbrowser.open("file://" + path.abspath(path.join(
"target", "doc", "servo", "index.html")))
self.servo_crate(), "target", "doc", "servo", "index.html")))