diff options
Diffstat (limited to 'python')
| -rw-r--r-- | python/servo/post_build_commands.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py index 9af82449808..8143069ddfb 100644 --- a/python/servo/post_build_commands.py +++ b/python/servo/post_build_commands.py @@ -13,6 +13,7 @@ import json import os import os.path as path import subprocess +import sys from shutil import copytree, rmtree, copy2 from mach.decorators import ( @@ -273,6 +274,9 @@ class PostBuildCommands(CommandBase): for name in os.listdir(static): copy2(path.join(static, name), path.join(docs, name)) + build = path.join(self.context.topdir, "components", "style", "properties", "build.py") + subprocess.check_call([sys.executable, build, "servo", "html"]) + @Command('browse-doc', description='Generate documentation and open it in a web browser', category='post-build') |