diff options
| author | Simon Sapin <simon.sapin@exyr.org> | 2018-12-07 19:41:50 +0100 |
|---|---|---|
| committer | Simon Sapin <simon.sapin@exyr.org> | 2018-12-12 08:28:14 +0100 |
| commit | e2c3acf4d58c015470caaf3451934c4bc5a5fd8c (patch) | |
| tree | 82ba099db68b5008ffc887fe4a4527ee446d8ff7 /python/servo/post_build_commands.py | |
| parent | 4ef1db879c9e7b3df8a3451c993423d2148a561a (diff) | |
| download | servo-e2c3acf4d58c015470caaf3451934c4bc5a5fd8c.tar.gz servo-e2c3acf4d58c015470caaf3451934c4bc5a5fd8c.zip | |
Copy from etc/doc.servo.org in `./mach doc`
Diffstat (limited to 'python/servo/post_build_commands.py')
| -rw-r--r-- | python/servo/post_build_commands.py | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py index dc2731c0318..9af82449808 100644 --- a/python/servo/post_build_commands.py +++ b/python/servo/post_build_commands.py @@ -263,10 +263,15 @@ class PostBuildCommands(CommandBase): else: copy2(full_name, destination) - return self.call_rustup_run( + returncode = self.call_rustup_run( ["cargo", "doc", "--manifest-path", self.ports_servo_manifest()] + params, - env=self.build_env() - ) + env=self.build_env()) + if returncode: + return returncode + + static = path.join(self.context.topdir, "etc", "doc.servo.org") + for name in os.listdir(static): + copy2(path.join(static, name), path.join(docs, name)) @Command('browse-doc', description='Generate documentation and open it in a web browser', |