From 29a398d4ad003ded36bb20b7bf6b4b68468a4e5f Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Fri, 10 Oct 2014 08:33:01 +0200
Subject: [PATCH] bash: remove useless docs.

---
 srcpkgs/bash/template | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/srcpkgs/bash/template b/srcpkgs/bash/template
index 67dbed9499..ca33b49fc3 100644
--- a/srcpkgs/bash/template
+++ b/srcpkgs/bash/template
@@ -3,7 +3,7 @@ pkgname=bash
 _bash_distver=4.3
 _bash_patchlevel=030
 version=${_bash_distver}.${_bash_patchlevel}
-revision=1
+revision=2
 wrksrc=${pkgname}-${_bash_distver}
 build_style=gnu-configure
 configure_args="--without-bash-malloc --with-curses --with-installed-readline"
@@ -37,3 +37,6 @@ pre_configure() {
 		msg_normal " Applying patch bash${ver}-$p.\n"
 	done
 }
+post_install() {
+	rm -r ${DESTDIR}/usr/share/doc
+}