diff options
author | gorhill <rhill@raymondhill.net> | 2015-02-09 15:23:27 -0500 |
---|---|---|
committer | gorhill <rhill@raymondhill.net> | 2015-02-09 15:23:27 -0500 |
commit | ba2962bad66df1b205cad210b5f1233ed84b8c6d (patch) | |
tree | aa71ff2953602a1998fa03e88cf5eed8853f8891 /tools | |
parent | 2146721275e1206c8f3d6489062d3510c692402f (diff) | |
download | uBlock-ba2962bad66df1b205cad210b5f1233ed84b8c6d.zip uBlock-ba2962bad66df1b205cad210b5f1233ed84b8c6d.tar.gz uBlock-ba2962bad66df1b205cad210b5f1233ed84b8c6d.tar.bz2 |
opera-specific package
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/make-opera.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/make-opera.sh b/tools/make-opera.sh index 19d31d0..88eda8c 100755 --- a/tools/make-opera.sh +++ b/tools/make-opera.sh @@ -18,10 +18,9 @@ cp -R src/lib $DES/ cp -R src/_locales $DES/ cp src/*.html $DES/ cp platform/chromium/*.js $DES/js/ -cp platform/chromium/manifest.json $DES/ +cp platform/opera/manifest.json $DES/ cp LICENSE.txt $DES/ -rm -r $DES/_locales/el rm -r $DES/_locales/hi rm -r $DES/_locales/mr |