diff options
Diffstat (limited to 'shells/bash/Makefile')
| -rw-r--r-- | shells/bash/Makefile | 34 |
1 files changed, 28 insertions, 6 deletions
diff --git a/shells/bash/Makefile b/shells/bash/Makefile index 04a9218b42cb..bfe36da751fc 100644 --- a/shells/bash/Makefile +++ b/shells/bash/Makefile @@ -3,17 +3,39 @@ # Date created: 21 August 1994 # Whom: jkh # -# $Id: Makefile,v 1.19 1996/12/27 06:26:05 obrien Exp $ +# $Id: Makefile,v 1.20 1996/12/27 11:40:41 ache Exp $ # -DISTNAME= bash-2.0 +DISTNAME= bash-2.0 CATEGORIES= shells -MASTER_SITES= ftp://slc2.ins.cwru.edu/pub/dist/ +MASTER_SITES= ftp://slc2.ins.cwru.edu/pub/dist/ \ + ${MASTER_SITE_GNU} +.if !defined(NOPORTDOCS) +DISTFILES= bash-2.0.tar.gz bash-doc-2.0.tar.gz +.endif -MAINTAINER= ache@FreeBSD.ORG +MAINTAINER= ache@FreeBSD.ORG -GNU_CONFIGURE= Yes +GNU_CONFIGURE= Yes +MAN1= bash.1 bashbug.1 -MAN1= bash.1 bashbug.1 + +post-install: +.if !defined(NOPORTDOCS) + ${MKDIR} ${PREFIX}/share/doc/bash + ${INSTALL_MAN} \ + ${WRKDIR}/bash-doc-2.0/doc/article.ps \ + ${WRKDIR}/bash-doc-2.0/doc/bashref.ps \ + ${PREFIX}/share/doc/bash + ${INSTALL_MAN} \ + ${WRKDIR}/bash-doc-2.0/doc/bash.html \ + ${WRKDIR}/bash-doc-2.0/doc/bashref.html \ + ${WRKDIR}/bash-doc-2.0/doc/bashref_toc.html \ + ${PREFIX}/share/doc/bash + ${INSTALL_MAN} \ + ${WRKDIR}/bash-doc-2.0/doc/article.txt \ + ${PREFIX}/share/doc/bash + ${GZIP_CMD} ${PREFIX}/share/doc/bash/*.ps +.endif .include <bsd.port.mk> |