diff options
| author | max <max@FreeBSD.org> | 1997-06-16 19:00:19 +0800 |
|---|---|---|
| committer | max <max@FreeBSD.org> | 1997-06-16 19:00:19 +0800 |
| commit | 532d668d0d36e9a190b3432c86550bd3e432bcea (patch) | |
| tree | ee8dda78e3f4cad46b77000a1b74bd326c2f22d8 /shells/bash1 | |
| parent | 7fee612428aec83050405aa11d370b54004bd7f2 (diff) | |
| download | freebsd-ports-gnome-532d668d0d36e9a190b3432c86550bd3e432bcea.tar.gz freebsd-ports-gnome-532d668d0d36e9a190b3432c86550bd3e432bcea.tar.zst freebsd-ports-gnome-532d668d0d36e9a190b3432c86550bd3e432bcea.zip | |
Use install-info to edit the dir file.
The (now old) master_site doesn&t have bash-1.14.7 anymore, but GNU sites do,
so update it.
Diffstat (limited to 'shells/bash1')
| -rw-r--r-- | shells/bash1/Makefile | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/shells/bash1/Makefile b/shells/bash1/Makefile index d8e89d322f6d..0520f0d41584 100644 --- a/shells/bash1/Makefile +++ b/shells/bash1/Makefile @@ -3,16 +3,22 @@ # Date created: 21 August 1994 # Whom: jkh # -# $Id: Makefile,v 1.22 1997/02/14 14:18:45 ache Exp $ +# $Id: Makefile,v 1.23 1997/02/17 06:41:50 obrien Exp $ # DISTNAME= bash-1.14.7 CATEGORIES= shells -MASTER_SITES= ftp://slc2.ins.cwru.edu/pub/dist/ +MASTER_SITES= ${MASTER_SITE_GNU} MAINTAINER= obrien@NUXI.com. WRKSRC= ${WRKDIR}/${DISTNAME} # Don't compress manpages or .so not works. +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> |