diff --git a/platform/webext/options_ui.html b/platform/webext/options_ui.html deleted file mode 100644 index 368167a..0000000 --- a/platform/webext/options_ui.html +++ /dev/null @@ -1,12 +0,0 @@ - - - - - - -
- - - - - diff --git a/tools/make-webext.sh b/tools/make-webext.sh index cab039a..1920493 100755 --- a/tools/make-webext.sh +++ b/tools/make-webext.sh @@ -16,15 +16,13 @@ cp platform/chromium/*.js $DES/js/ cp -R platform/chromium/img/* $DES/img/ cp LICENSE.txt $DES/ -cp platform/webext/options_ui.html $DES/ -rm $DES/js/options_ui.js cp platform/webext/polyfill.js $DES/js/ cp platform/webext/vapi-cachestorage.js $DES/js/ cp platform/webext/manifest.json $DES/ # webext-specific rm $DES/options_ui.html -rm $DES/options_ui.js +rm $DES/js/options_ui.js echo "*** uMatrix.webext: Generating meta..." python tools/make-webext-meta.py $DES/