rename "debian" target to more accurate "webext"

2024-11-10 09:07:54 +01:00 · 2018-04-27 12:39:43 -04:00 · 2018-04-27 12:39:43 -04:00 · 2b460da748
commit 2b460da748
parent 0bf2f27d87
6 changed files with 2 additions and 2 deletions
--- a/.travis.yml
+++ b/.travis.yml
@ -3,8 +3,8 @@ sudo: false
 env:
  matrix:
  - BROWSER=chromium EXT=zip
-  - BROWSER=debian EXT=zip
-  - BROWSER=webext EXT=xpi
+  - BROWSER=firefox EXT=xpi
+  - BROWSER=webext EXT=zip
 script: ./tools/make-${BROWSER}.sh all
 deploy:
  provider: releases
--- a/platform/webext/manifest.json
+++ b/platform/webext/manifest.json
--- a/platform/webext/vapi-usercss.js
+++ b/platform/webext/vapi-usercss.js
--- a/platform/webext/vapi-webrequest.js
+++ b/platform/webext/vapi-webrequest.js
--- a/tools/make-webext-meta.py
+++ b/tools/make-webext-meta.py
--- a/tools/make-webext.sh
+++ b/tools/make-webext.sh