diff options
Diffstat (limited to 'shells/bash')
| -rw-r--r-- | shells/bash/Makefile | 7 | ||||
| -rw-r--r-- | shells/bash/pkg-plist | 1 |
2 files changed, 1 insertions, 7 deletions
diff --git a/shells/bash/Makefile b/shells/bash/Makefile index ffa738a9ff4e..211c8940b7a2 100644 --- a/shells/bash/Makefile +++ b/shells/bash/Makefile @@ -3,7 +3,7 @@ # Date created: 21 August 1994 # Whom: jkh # -# $Id: Makefile,v 1.33 1999/04/19 08:42:20 cracauer Exp $ +# $Id: Makefile,v 1.35 1999/05/28 05:16:08 ache Exp $ # DISTNAME= bash-2.03 @@ -21,11 +21,6 @@ GNU_CONFIGURE= Yes CONFIGURE_ARGS= --with-installed-readline MAN1= bash.1 bashbug.1 -pre-install: - if [ ! -s ${PREFIX}/info/dir -a -f /usr/share/info/dir ]; then \ - ${SED} -ne '1,/Menu:/p' /usr/share/info/dir > ${PREFIX}/info/dir; \ - fi - post-install: ${CP} /etc/shells /etc/shells.bak (${GREP} -v ${PREFIX}/bin/bash /etc/shells.bak; echo ${PREFIX}/bin/bash) >/etc/shells diff --git a/shells/bash/pkg-plist b/shells/bash/pkg-plist index cc0addc5710d..a35ec68f292c 100644 --- a/shells/bash/pkg-plist +++ b/shells/bash/pkg-plist @@ -4,7 +4,6 @@ bin/bash bin/bashbug @unexec install-info --delete %D/info/bash.info %D/info/dir info/bash.info -@exec [ -f %D/info/dir -o ! -f /usr/share/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir share/doc/bash/article.ps.gz share/doc/bash/bashref.ps.gz share/doc/bash/article.txt |