From c19a7a9470be3256a1d822fdc9d98c07ddecf99f Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Fri, 28 Sep 2012 04:40:37 +0200
Subject: [PATCH] gnome-shell: remove gtk-doc dir.

---
 srcpkgs/gnome-shell/template | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/srcpkgs/gnome-shell/template b/srcpkgs/gnome-shell/template
index d457b8bcc7e..9b580d3b4e9 100644
--- a/srcpkgs/gnome-shell/template
+++ b/srcpkgs/gnome-shell/template
@@ -1,7 +1,7 @@
 # Template file for 'gnome-shell'
 pkgname=gnome-shell
 version=3.6.0
-revision=2
+revision=3
 build_style=gnu-configure
 configure_args="--disable-schemas-compile --with-systemd"
 depends="caribou pulseaudio mesa-demos desktop-file-utils"
@@ -26,3 +26,7 @@ long_desc="
  advantage of the capabilities of modern graphics hardware and introduces
  innovative user interface concepts to provide a visually attractive and
  easy to use experience."
+
+post_install() {
+	rm -rf ${DESTDIR}/usr/share/gtk-doc
+}