diff options
| author | jmz <jmz@FreeBSD.org> | 1997-10-09 05:12:22 +0800 |
|---|---|---|
| committer | jmz <jmz@FreeBSD.org> | 1997-10-09 05:12:22 +0800 |
| commit | 6c07812bdeb70bf23283651843db7c58e011158f (patch) | |
| tree | 16a91c34e148a8d9f9a1713ccfd448a00443bf9e /emulators/mtools | |
| parent | 8e055ed89d0b5ff8e5da032232dc9c02de13f203 (diff) | |
| download | freebsd-ports-gnome-6c07812bdeb70bf23283651843db7c58e011158f.tar.gz freebsd-ports-gnome-6c07812bdeb70bf23283651843db7c58e011158f.tar.zst freebsd-ports-gnome-6c07812bdeb70bf23283651843db7c58e011158f.zip | |
Create ${PREFIX}/info/dir if it does not exist.
Diffstat (limited to 'emulators/mtools')
| -rw-r--r-- | emulators/mtools/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/emulators/mtools/Makefile b/emulators/mtools/Makefile index 22400324b483..4676a4266e44 100644 --- a/emulators/mtools/Makefile +++ b/emulators/mtools/Makefile @@ -3,7 +3,7 @@ # Date created: 5 October 1994 # Whom: jmz # -# $Id: Makefile,v 1.15 1997/04/20 01:28:39 jmz Exp $ +# $Id: Makefile,v 1.16 1997/08/13 15:28:12 jmz Exp $ # DISTNAME= mtools-3.8 @@ -31,6 +31,9 @@ post-patch: post-install: @install -c ${WRKSRC}/mtools.conf ${PREFIX}/etc + @if [ ! -f ${PREFIX}/info/dir ]; then \ + ${SED} -ne '1,/Menu:/p' /usr/share/info/dir > ${PREFIX}/info/dir; \ + fi @install-info ${PREFIX}/info/mtools.info ${PREFIX}/info/dir .include <bsd.port.mk> |