From 83454132f596fe6e697ef46fc90fd93d466fb94d Mon Sep 17 00:00:00 2001 From: Jean-Marc Zucconi Date: Wed, 8 Oct 1997 21:12:22 +0000 Subject: Create ${PREFIX}/info/dir if it does not exist. --- emulators/mtools/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'emulators') 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 -- cgit v1.2.3