diff --git a/srcpkgs/gnome-shell/template b/srcpkgs/gnome-shell/template index 72c6930bca5..be14592e3f0 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 " 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