From af32450321f1521641d67c592b857a4ef017a1c8 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Wed, 31 Jul 2013 07:32:42 +0200 Subject: [PATCH] gnome-shell: update to 3.8.4. --- srcpkgs/gnome-shell/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/gnome-shell/template b/srcpkgs/gnome-shell/template index 3ecdd771b2d..64453f6a290 100644 --- a/srcpkgs/gnome-shell/template +++ b/srcpkgs/gnome-shell/template @@ -1,6 +1,6 @@ # Template file for 'gnome-shell' pkgname=gnome-shell -version=3.8.3 +version=3.8.4 revision=1 build_style=gnu-configure configure_args="--disable-schemas-compile --with-systemd" @@ -16,7 +16,7 @@ maintainer="Juan RP " homepage="http://live.gnome.org/GnomeShell" license="GPL-2" distfiles="${GNOME_SITE}/$pkgname/3.8/$pkgname-$version.tar.xz" -checksum=145724f21ead9dbe0c39d3ab468b39264c7aaf3f0fa5d152b295d905d8339c22 +checksum=547e571c67b1436a32715b016ee63c666afcafed9c5a2f76dc4ad3bcaebffa47 post_install() { rm -rf ${DESTDIR}/usr/share/gtk-doc