Remove unused options

This commit is contained in:
Romain Vigier
2022-02-25 15:19:09 +01:00
parent 0022ce18a5
commit daf13439ee
-4
View File
@@ -12,15 +12,11 @@ build:
mkdir -p ./build mkdir -p ./build
gnome-extensions pack \ gnome-extensions pack \
--force \ --force \
--extra-source=./config.js \
--extra-source=./utils.js \ --extra-source=./utils.js \
--extra-source=./enums/ \ --extra-source=./enums/ \
--extra-source=./icons/ \ --extra-source=./icons/ \
--extra-source=./modules/ \ --extra-source=./modules/ \
--extra-source=./preferences/ \ --extra-source=./preferences/ \
--extra-source=./schemas/ \
--podir=./po/ \
--gettext-domain=$(DOMAIN) \
--out-dir=./build \ --out-dir=./build \
./src ./src