diff options
| author | max <max@FreeBSD.org> | 1997-06-16 14:39:51 +0800 |
|---|---|---|
| committer | max <max@FreeBSD.org> | 1997-06-16 14:39:51 +0800 |
| commit | 004c553b0199c9645873c6dca720682ec0ff5ff2 (patch) | |
| tree | 855c3b08439624e624f32e8ddc50bcc655c37915 /misc | |
| parent | 94ae5cc2353cf9534810209679b63e52f4f2ca5b (diff) | |
| download | freebsd-ports-gnome-004c553b0199c9645873c6dca720682ec0ff5ff2.tar.gz freebsd-ports-gnome-004c553b0199c9645873c6dca720682ec0ff5ff2.tar.zst freebsd-ports-gnome-004c553b0199c9645873c6dca720682ec0ff5ff2.zip | |
Properly edit ${PREFIX}/info/dir.
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/screen/Makefile | 8 | ||||
| -rw-r--r-- | misc/screen/pkg-plist | 7 |
2 files changed, 10 insertions, 5 deletions
diff --git a/misc/screen/Makefile b/misc/screen/Makefile index 2416da75536a..d7fb160a1ea1 100644 --- a/misc/screen/Makefile +++ b/misc/screen/Makefile @@ -3,7 +3,7 @@ # Date created: 25 Nov 1994 # Whom: ache # -# $Id: Makefile,v 1.15 1996/12/08 16:19:38 ache Exp $ +# $Id: Makefile,v 1.16 1996/12/26 10:01:04 max Exp $ # DISTNAME= screen-3.7.2 @@ -16,4 +16,10 @@ MAINTAINER= ache@FreeBSD.ORG GNU_CONFIGURE= yes MAN1= screen.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/screen.info ${PREFIX}/info/dir + .include <bsd.port.mk> diff --git a/misc/screen/pkg-plist b/misc/screen/pkg-plist index 3249df1198b5..0cfa8d018924 100644 --- a/misc/screen/pkg-plist +++ b/misc/screen/pkg-plist @@ -1,8 +1,7 @@ bin/screen bin/screen-3.7.2 man/man1/screen.1.gz +@unexec install-info --delete %D/info/screen.info %D/info/dir info/screen.info -info/screen.info-1 -info/screen.info-2 -info/screen.info-3 -info/screen.info-4 +@exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir +@exec install-info %D/info/screen.info %D/info/dir |