diff options
Diffstat (limited to 'shells/bash1/Makefile')
-rw-r--r-- | shells/bash1/Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/shells/bash1/Makefile b/shells/bash1/Makefile index 4132c89a7adc..0861405d4e0a 100644 --- a/shells/bash1/Makefile +++ b/shells/bash1/Makefile @@ -4,7 +4,7 @@ # Date created: 21 August 1994 # Whom: jkh # -# $Id: Makefile,v 1.28 1999/01/27 07:41:26 fenner Exp $ +# $Id: Makefile,v 1.30 1999/03/30 01:31:42 obrien Exp $ # DISTNAME= bash-1.14.7 @@ -21,9 +21,6 @@ NOMANCOMPRESS= yes MAN1= bash.1 bash_builtins.1 post-install: - @if [ ! -f ${PREFIX}/info/dir ]; then \ - ${SED} -ne '1,/Menu:/p' /usr/share/info/dir > ${PREFIX}/info/dir; \ - fi @install-info ${PREFIX}/info/bash.info ${PREFIX}/info/dir .include <bsd.port.mk> |