From 5c7263fcdd99ab7cecd7d341a15536c4bee10711 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Fri, 14 Jun 2013 22:31:57 +0200 Subject: [PATCH] gnome-user-docs: update to 3.8.2. --- srcpkgs/gnome-user-docs/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/gnome-user-docs/template b/srcpkgs/gnome-user-docs/template index b36e316917b..5bf278be151 100644 --- a/srcpkgs/gnome-user-docs/template +++ b/srcpkgs/gnome-user-docs/template @@ -1,6 +1,6 @@ # Template file for 'gnome-user-docs' pkgname=gnome-user-docs -version=3.8.1 +version=3.8.2 revision=1 build_style=gnu-configure hostmakedepends="pkg-config intltool itstool gnome-doc-utils" @@ -10,7 +10,7 @@ short_desc="User documentation for GNOME" maintainer="Juan RP " license="GPL-2" distfiles="${GNOME_SITE}/$pkgname/3.8/$pkgname-$version.tar.xz" -checksum=096715cb70525d70be64f5ea6e7e81eaedb2b43d7c51ad2e45d9a28387c0fbf3 +checksum=eeb96fcd0c253ce9869fe2007402220f2924fa37217c6fac357db236797cadb7 gnome-user-docs_package() { depends="yelp"