blob: 8f83065e1373af7d707e5fa9e8d22396922bf13b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# New ports collection makefile for: bash
# Version required: 1.14.7
# Date created: 21 August 1994
# Whom: jkh
#
# $Id: Makefile,v 1.24 1997/06/16 11:00:19 max Exp $
#
DISTNAME= bash-1.14.7
CATEGORIES= shells
MASTER_SITES= ${MASTER_SITE_GNU}
MAINTAINER= obrien@NUXI.com
WRKSRC= ${WRKDIR}/${DISTNAME}
# Don't compress manpages or .so not works.
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/bash.info ${PREFIX}/info/dir
.include <bsd.port.mk>
|
