diff options
author | gorhill <rhill@raymondhill.net> | 2016-01-14 07:23:46 -0500 |
---|---|---|
committer | gorhill <rhill@raymondhill.net> | 2016-01-14 07:23:46 -0500 |
commit | 241352bf3bd46f8e81365d5f407e59445523a50c (patch) | |
tree | 20d784aec5edd943b7744a050bc74a018722a67e /tools | |
parent | 19518aed607718fc6106e1cf34e59cf18af6bedf (diff) |
this fixes #1225
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/make-opera.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/make-opera.sh b/tools/make-opera.sh index a0222fa0..b1e3a306 100755 --- a/tools/make-opera.sh +++ b/tools/make-opera.sh @@ -18,7 +18,8 @@ cp -R src/lib $DES/ cp -R src/_locales $DES/ cp src/*.html $DES/ -cp platform/chromium/*.js $DES/js/ +cp platform/chromium/*.html $DES/ +cp platform/chromium/*.js $DES/js/ cp platform/chromium/*.json $DES/ cp -R platform/chromium/img $DES/ |