blob: 0520f0d415848eae73bd7dbb55d65f667e48c7dd (
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.23 1997/02/17 06:41:50 obrien 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>
|
