diff options
| author | gorhill <rhill@raymondhill.net> | 2015-03-22 16:16:27 -0400 |
|---|---|---|
| committer | gorhill <rhill@raymondhill.net> | 2015-03-22 16:16:27 -0400 |
| commit | 63366e9e94ab86cad341caaa965602d4296745f6 (patch) | |
| tree | 8815a86906afd5c3385107555d1e03d4f76c1424 /tools | |
| parent | e6e456ed7b2bda1c36936255e072302071d7985f (diff) | |
| download | uBlock-63366e9e94ab86cad341caaa965602d4296745f6.zip uBlock-63366e9e94ab86cad341caaa965602d4296745f6.tar.gz uBlock-63366e9e94ab86cad341caaa965602d4296745f6.tar.bz2 | |
opera build
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/make-opera.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/make-opera.sh b/tools/make-opera.sh index 4d754d4..24a8ed3 100755 --- a/tools/make-opera.sh +++ b/tools/make-opera.sh @@ -16,8 +16,11 @@ cp -R src/img $DES/ cp -R src/js $DES/ cp -R src/lib $DES/ cp -R src/_locales $DES/ + cp src/*.html $DES/ cp platform/chromium/*.js $DES/js/ +cp -R platform/chromium/img $DES/ + cp platform/opera/manifest.json $DES/ cp LICENSE.txt $DES/ |