jcgruenhage/void-packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

gnome-shell: update to 3.10.2.1.

Browse source
This commit is contained in:
Juan RP 2013-11-15 18:57:02 +01:00
parent 28b3453127
commit 44f48a33e9
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
srcpkgs/gnome-shell/template
View file

@ -1,6 +1,6 @@
# Template file for 'gnome-shell'
pkgname=gnome-shell
version=3.10.2
version=3.10.2.1
revision=1
build_style=gnu-configure
configure_args="--disable-schemas-compile"
@ -18,7 +18,7 @@ maintainer="Juan RP <xtraeme@gmail.com>"
homepage="http://live.gnome.org/GnomeShell"
license="GPL-2"
distfiles="${GNOME_SITE}/$pkgname/3.10/$pkgname-$version.tar.xz"
checksum=f633f92aaccc82653d62a43a438e54c6b9508d57d1d03cf5c896141cd90a20e9
checksum=d28cedc4f7dbcbd979ef2a0b80f722ff507989fce193fe59351b1d048d17c44c
post_install() {
rm -rf ${DESTDIR}/usr/share/gtk-doc