diff options
| author | steve <steve@FreeBSD.org> | 1998-02-16 01:01:07 +0800 |
|---|---|---|
| committer | steve <steve@FreeBSD.org> | 1998-02-16 01:01:07 +0800 |
| commit | 34859834cac3ef5f0ec08cfd5c6bf6a13a3e8f1c (patch) | |
| tree | e8b8331b103d08b16d2252d475ce1170f9da4d4b /databases/gdbm/Makefile | |
| parent | e108a9b66bebe618807c54bb58745d6ec0babd40 (diff) | |
| download | freebsd-ports-graphics-34859834cac3ef5f0ec08cfd5c6bf6a13a3e8f1c.tar.gz freebsd-ports-graphics-34859834cac3ef5f0ec08cfd5c6bf6a13a3e8f1c.tar.zst freebsd-ports-graphics-34859834cac3ef5f0ec08cfd5c6bf6a13a3e8f1c.zip | |
Fix to properly install info files.
PR: 5740
Submitted by: Igor Vinokurov <igor@zynaps.ru>
Diffstat (limited to 'databases/gdbm/Makefile')
| -rw-r--r-- | databases/gdbm/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/databases/gdbm/Makefile b/databases/gdbm/Makefile index 28d66f8f756..704e2bf2974 100644 --- a/databases/gdbm/Makefile +++ b/databases/gdbm/Makefile @@ -3,7 +3,7 @@ # Date created: 8 Apr 1996 # Whom: Brent J. Nordquist <bjn@visi.com> # -# $Id: Makefile,v 1.3 1996/11/18 10:19:15 asami Exp $ +# $Id: Makefile,v 1.4 1997/01/28 08:11:23 asami Exp $ # DISTNAME= gdbm-1.7.3 @@ -16,4 +16,10 @@ GNU_CONFIGURE= yes MAKE_FLAGS= CFLAGS="${CFLAGS}" LDFLAGS=-s -f MAN3= gdbm.3 +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/gdbm.info ${PREFIX}/info/dir + .include <bsd.port.mk> |