From daf13439eea74c330f1e7142f147b394da615b9a Mon Sep 17 00:00:00 2001 From: Romain Vigier Date: Fri, 25 Feb 2022 15:19:09 +0100 Subject: [PATCH] Remove unused options --- Makefile | 4 ---- 1 file changed, 4 deletions(-) diff --git a/Makefile b/Makefile index e8c87c3..57682a7 100644 --- a/Makefile +++ b/Makefile @@ -12,15 +12,11 @@ build: mkdir -p ./build gnome-extensions pack \ --force \ - --extra-source=./config.js \ --extra-source=./utils.js \ --extra-source=./enums/ \ --extra-source=./icons/ \ --extra-source=./modules/ \ --extra-source=./preferences/ \ - --extra-source=./schemas/ \ - --podir=./po/ \ - --gettext-domain=$(DOMAIN) \ --out-dir=./build \ ./src