mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-01 22:05:08 +00:00
4c08ced03e
Found by: distfile checker
25 lines
586 B
Makefile
25 lines
586 B
Makefile
# 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>
|