diff options
author | gorhill <rhill@raymondhill.net> | 2015-02-06 10:30:22 -0500 |
---|---|---|
committer | gorhill <rhill@raymondhill.net> | 2015-02-06 10:30:22 -0500 |
commit | 863aaa5401af049ff4359a23b9a78476e4369567 (patch) | |
tree | 0c43c84ab153048a5a35362f71541bf4d2bfbff5 /tools | |
parent | 76b9b748065305f11dd6452fbba6678da7a655d2 (diff) | |
download | uBlock-863aaa5401af049ff4359a23b9a78476e4369567.zip uBlock-863aaa5401af049ff4359a23b9a78476e4369567.tar.gz uBlock-863aaa5401af049ff4359a23b9a78476e4369567.tar.bz2 |
this fixes #685
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/make-chromium.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/make-chromium.sh b/tools/make-chromium.sh index 80bd3a2..5d0ac15 100755 --- a/tools/make-chromium.sh +++ b/tools/make-chromium.sh @@ -19,6 +19,7 @@ cp -R src/_locales $DES/ cp -R $DES/_locales/nb $DES/_locales/no cp src/*.html $DES/ cp platform/chromium/*.js $DES/js/ +cp platform/chromium/*.html $DES/ cp platform/chromium/manifest.json $DES/ cp LICENSE.txt $DES/ |