summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorMark Wagie2022-08-08 09:47:58 -0600
committerMark Wagie2022-08-08 09:47:58 -0600
commit3d5a593383f4e25f748a97c92fa5ab661fb1e2a0 (patch)
tree7c3d857e57d1e935078af678257e45a3d5755052 /PKGBUILD
parenta112fd85586c60bb5bc6bdeff3eb0c7be7112daf (diff)
downloadaur-3d5a593383f4e25f748a97c92fa5ab661fb1e2a0.tar.gz
stylesheet.css already packed by default
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD13
1 files changed, 6 insertions, 7 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 9036311c221a..b11222187dbe 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Igor Dyatlov <dyatlov.igor@protonmail.com>
# Co-Maintainer: Mark Wagie <mark dot wagie at tutanota dot com>
pkgname=gnome-shell-extension-rounded-window-corners-git
-pkgver=4.r10.g508abee
+pkgver=4.r33.ge76dc9a
pkgrel=1
pkgdesc="A GNOME Shell extension that adds rounded corners for all windows"
arch=('any')
@@ -27,13 +27,12 @@ build() {
pushd _build
gnome-extensions pack \
- --extra-source=dbus \
- --extra-source=effect \
- --extra-source=manager \
- --extra-source=preferences \
- --extra-source=utils \
+ --extra-source=dbus/ \
+ --extra-source=effect/ \
+ --extra-source=manager/ \
+ --extra-source=preferences/ \
+ --extra-source=utils/ \
--extra-source=app.js \
- --extra-source=stylesheet.css \
--extra-source=stylesheet-prefs.css \
--force
popd