diff options
Diffstat (limited to 'python/servo/post_build_commands.py')
-rw-r--r-- | python/servo/post_build_commands.py | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py index afe8b12dfd4..a5d76134c4f 100644 --- a/python/servo/post_build_commands.py +++ b/python/servo/post_build_commands.py @@ -14,6 +14,7 @@ import os import os.path as path import subprocess from shutil import copytree, rmtree, copy2 +from typing import List import servo.util @@ -242,7 +243,7 @@ class PostBuildCommands(CommandBase): 'params', nargs='...', help="Command-line arguments to be passed through to cargo doc") @CommandBase.build_like_command_arguments - def doc(self, params, **kwargs): + def doc(self, params: List[str], **kwargs): self.ensure_bootstrapped(rustup_components=["rust-docs"]) rustc_path = check_output( ["rustup" + BIN_SUFFIX, "which", "--toolchain", self.rust_toolchain(), "rustc"] @@ -278,12 +279,3 @@ class PostBuildCommands(CommandBase): 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', - category='post-build') - def serve_docs(self): - self.doc([]) - import webbrowser - webbrowser.open("file://" + path.abspath(path.join( - servo.util.get_target_dir(), "doc", "servo", "index.html"))) |