diff options
| author | Satoshi Taoka <taoka@FreeBSD.org> | 1999-04-30 07:51:07 +0000 |
|---|---|---|
| committer | Satoshi Taoka <taoka@FreeBSD.org> | 1999-04-30 07:51:07 +0000 |
| commit | 72744ad44e2d6433c557d70697586e30cd780741 (patch) | |
| tree | 3e95c0c905d30941f94801d87a77d6081f2cb98d /misc/vera/Makefile | |
| parent | I forgot to portlint. (diff) | |
Virtual Entity of Relevant Acronyms.
PR: 10514
Submitted by: Dima Sivachenko <dima@chg.ru>
Notes
Notes:
svn path=/head/; revision=18208
Diffstat (limited to 'misc/vera/Makefile')
| -rw-r--r-- | misc/vera/Makefile | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/misc/vera/Makefile b/misc/vera/Makefile new file mode 100644 index 000000000000..640c94ec8904 --- /dev/null +++ b/misc/vera/Makefile @@ -0,0 +1,28 @@ +# New ports collection makefile for: V.E.R.A. +# Version required: 1.5 +# Date created: 9 March 1999 +# Whom: Dima Sivachenko <dima@chg.ru> +# +# $Id $ +# + +DISTNAME= vera-1.5 +CATEGORIES= misc +MASTER_SITES= ${MASTER_SITE_GNU} +MASTER_SITE_SUBDIR= vera + +MAINTAINER= dima@Chg.RU + +do-build: + @ cd ${WRKSRC} && makeinfo vera.texi + +do-install: + @ ${INSTALL_DATA} ${WRKSRC}/vera.info* ${PREFIX}/info + +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/vera.info ${PREFIX}/info/dir + +.include <bsd.port.mk> |