bash: remove useless docs.

This commit is contained in:
Juan RP 2014-10-10 08:33:01 +02:00
parent 01122b6700
commit 29a398d4ad

View file

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