From 2c3153b03d6326265ab16965841c398ffa605b02 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Wed, 16 Apr 2014 09:25:02 +0200
Subject: [PATCH] gnome-shell: update to 3.12.1.

---
 srcpkgs/gnome-shell/template | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/srcpkgs/gnome-shell/template b/srcpkgs/gnome-shell/template
index 72c6930bca..be14592e3f 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.12.0
+version=3.12.1
 revision=1
 build_style=gnu-configure
 configure_args="--disable-schemas-compile"
@@ -20,8 +20,4 @@ maintainer="Juan RP <xtraeme@gmail.com>"
 homepage="http://live.gnome.org/GnomeShell"
 license="GPL-2"
 distfiles="${GNOME_SITE}/$pkgname/${version%.*}/$pkgname-$version.tar.xz"
-checksum=60ac9f8ad473f266ffca70acf76c0d494e0c5067c5a148d944146e94654a0dde
-
-post_install() {
-	rm -rf ${DESTDIR}/usr/share/gtk-doc
-}
+checksum=d5a475f390d992de03ccf8ffeafec90595da700594eba9fc0688cbb1652b5516