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

gnome-shell: update to 3.10.2.

Browse source
This commit is contained in:
Juan RP 2013-11-14 18:01:05 +01:00
parent 78a6f8395e
commit f8f0603967
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
srcpkgs/gnome-shell/template
View file

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