| Index: mojo/tools/deploy_domokit_site.py
|
| diff --git a/mojo/tools/deploy_domokit_site.py b/mojo/tools/deploy_domokit_site.py
|
| index 64c3ca671adea9f0a8a955b605bdb54a4306ed59..7806867e9062958ab6a05a6c0a844e7b7c8543d7 100755
|
| --- a/mojo/tools/deploy_domokit_site.py
|
| +++ b/mojo/tools/deploy_domokit_site.py
|
| @@ -120,18 +120,9 @@ def main():
|
| os.path.join(sky_pkg_lib_dir, 'download_material_design_icons')
|
| ])
|
|
|
| - # Copy all .mojo files into mojo/
|
| - copy(paths.build_dir, deploy_path('mojo'), mojo_filter)
|
| -
|
| # Copy sky/examples into examples/
|
| copy(src_path('sky/examples'), deploy_path('examples'), examples_filter)
|
|
|
| - # Copy apks into /
|
| - shutil.copy(os.path.join(paths.build_dir, 'apks', 'MojoShell.apk'),
|
| - args.deploy_root)
|
| - shutil.copy(os.path.join(paths.build_dir, 'apks', 'MojoShortcuts.apk'),
|
| - args.deploy_root)
|
| -
|
| # Deep copy packages/. This follows symlinks and flattens them.
|
| packages_root = deploy_path('packages')
|
| copy(dart_pkg_packages_dir, packages_root, packages_filter, True)
|
|
|