From 7cc560a73546a28af5138cc8e037f27ec1efef7d Mon Sep 17 00:00:00 2001 From: Juan RP Date: Fri, 12 Apr 2013 14:17:58 +0200 Subject: [PATCH] gnome-media: removed: obsolete in 3.8. --- srcpkgs/gnome-media/template | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 srcpkgs/gnome-media/template diff --git a/srcpkgs/gnome-media/template b/srcpkgs/gnome-media/template deleted file mode 100644 index 8796db2215a..00000000000 --- a/srcpkgs/gnome-media/template +++ /dev/null @@ -1,23 +0,0 @@ -# Template file for 'gnome-media' -pkgname=gnome-media -version=3.4.0 -revision=1 -distfiles="${GNOME_SITE}/$pkgname/3.4/$pkgname-$version.tar.xz" -build_style=gnu-configure -configure_args="--disable-schemas-install ---with-gconf-schema-file-dir=/usr/share/gconf/schemas" -depends="hicolor-icon-theme desktop-file-utils" -makedepends="which pkg-config intltool gnome-doc-utils GConf-devel gtk+3-devel libgnome-media-profiles-devel gst-plugins-base-devel" -short_desc="GNOME Media Tools" -maintainer="davehome " -homepage="http://www.gnome.org" -license="GPL-2" -checksum=a76fac286f24d3836137ddbaab66f05e19eb5fb83cca6e375dbef040765a1d1f -long_desc=" - The GNOME Media package contains GNOME's media applications." - -post_install() { - mv ${DESTDIR}/usr/share/gconf/schemas/*.schemas ${wrksrc} - gconf-merge-schema ${DESTDIR}/usr/share/gconf/schemas/gnome-sound-recorder.schemas \ - --domain gnome-media ${wrksrc}/*.schemas -}