diff options
| author | max <max@FreeBSD.org> | 1997-06-12 20:31:01 +0800 |
|---|---|---|
| committer | max <max@FreeBSD.org> | 1997-06-12 20:31:01 +0800 |
| commit | 1241d5da15a7bfdb36acfcc4230487bc9943b3ea (patch) | |
| tree | 75da29b426ed708be0f8cb200c8aee9bb7dccfe6 | |
| parent | 965e68fb05e099d407eff5c5654efa4fdc1c5439 (diff) | |
| download | freebsd-ports-gnome-1241d5da15a7bfdb36acfcc4230487bc9943b3ea.tar.gz freebsd-ports-gnome-1241d5da15a7bfdb36acfcc4230487bc9943b3ea.tar.zst freebsd-ports-gnome-1241d5da15a7bfdb36acfcc4230487bc9943b3ea.zip | |
Use info-install to add entry into info/dir.
| -rw-r--r-- | devel/gmake/Makefile | 6 | ||||
| -rw-r--r-- | devel/gmake/pkg-plist | 11 | ||||
| -rw-r--r-- | devel/gmake381/Makefile | 6 | ||||
| -rw-r--r-- | devel/gmake381/pkg-plist | 11 |
4 files changed, 16 insertions, 18 deletions
diff --git a/devel/gmake/Makefile b/devel/gmake/Makefile index 359017f60ffc..f7432f875825 100644 --- a/devel/gmake/Makefile +++ b/devel/gmake/Makefile @@ -3,7 +3,7 @@ # Date created: 11 September 1994 # Whom: jkh # -# $Id: Makefile,v 1.13 1996/11/18 13:57:23 asami Exp $ +# $Id: Makefile,v 1.14 1997/01/09 09:19:17 asami Exp $ # DISTNAME= make-3.75 @@ -18,5 +18,9 @@ MAN1= gmake.1 post-install: /bin/chmod g-s ${PREFIX}/bin/gmake /usr/bin/chgrp ${BINGRP} ${PREFIX}/bin/gmake + if [ ! -f ${PREFIX}/info/dir ]; then \ + sed -ne '1,/Menu:/p' /usr/share/info/dir > ${PREFIX}/info/dir; \ + fi + install-info ${PREFIX}/info/make.info ${PREFIX}/info/dir .include <bsd.port.mk> diff --git a/devel/gmake/pkg-plist b/devel/gmake/pkg-plist index ae5acd455ca6..b941b1337ee3 100644 --- a/devel/gmake/pkg-plist +++ b/devel/gmake/pkg-plist @@ -1,11 +1,6 @@ bin/gmake man/man1/gmake.1.gz +@unexec install-info --delete %D/info/make.info %D/info/dir info/make.info -info/make.info-1 -info/make.info-2 -info/make.info-3 -info/make.info-4 -info/make.info-5 -info/make.info-6 -info/make.info-7 -info/make.info-8 +@exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir +@exec install-info %D/info/make.info %D/info/dir diff --git a/devel/gmake381/Makefile b/devel/gmake381/Makefile index 359017f60ffc..f7432f875825 100644 --- a/devel/gmake381/Makefile +++ b/devel/gmake381/Makefile @@ -3,7 +3,7 @@ # Date created: 11 September 1994 # Whom: jkh # -# $Id: Makefile,v 1.13 1996/11/18 13:57:23 asami Exp $ +# $Id: Makefile,v 1.14 1997/01/09 09:19:17 asami Exp $ # DISTNAME= make-3.75 @@ -18,5 +18,9 @@ MAN1= gmake.1 post-install: /bin/chmod g-s ${PREFIX}/bin/gmake /usr/bin/chgrp ${BINGRP} ${PREFIX}/bin/gmake + if [ ! -f ${PREFIX}/info/dir ]; then \ + sed -ne '1,/Menu:/p' /usr/share/info/dir > ${PREFIX}/info/dir; \ + fi + install-info ${PREFIX}/info/make.info ${PREFIX}/info/dir .include <bsd.port.mk> diff --git a/devel/gmake381/pkg-plist b/devel/gmake381/pkg-plist index ae5acd455ca6..b941b1337ee3 100644 --- a/devel/gmake381/pkg-plist +++ b/devel/gmake381/pkg-plist @@ -1,11 +1,6 @@ bin/gmake man/man1/gmake.1.gz +@unexec install-info --delete %D/info/make.info %D/info/dir info/make.info -info/make.info-1 -info/make.info-2 -info/make.info-3 -info/make.info-4 -info/make.info-5 -info/make.info-6 -info/make.info-7 -info/make.info-8 +@exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir +@exec install-info %D/info/make.info %D/info/dir |