From d5d45fed1dfa4456c1daa77d124c3a70fae56fd1 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Wed, 25 Jun 2014 21:04:40 +0200
Subject: [PATCH] gnome-user-docs: update to 3.12.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 e225e8e7e4d..1d37f350498 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.12.0
+version=3.12.2
 revision=1
 noarch="yes"
 build_style=gnu-configure
@@ -12,4 +12,4 @@ short_desc="User documentation for GNOME"
 maintainer="Juan RP <xtraeme@gmail.com>"
 license="GPL-2"
 distfiles="${GNOME_SITE}/$pkgname/${version%.*}/$pkgname-$version.tar.xz"
-checksum=d150becebd5578c6cc2f6d6fec91831015aae22ee12deba211b577148bab06c4
+checksum=4d9ec70d0c91ffda73942e5d496d28f0855aec356d281a7d5f7393a32e2d44b2