diff options
| author | Dmitry Sivachenko <demon@FreeBSD.org> | 2003-08-16 09:51:20 +0000 |
|---|---|---|
| committer | Dmitry Sivachenko <demon@FreeBSD.org> | 2003-08-16 09:51:20 +0000 |
| commit | 8f76b13706de70d4096f5370ecd656d726958302 (patch) | |
| tree | b784a81a115bc2731f875756d670702bbdf4d291 /misc/vera/Makefile | |
| parent | 86f508eda7a698b5899384793046c646639de053 (diff) | |
Notes
Diffstat (limited to 'misc/vera/Makefile')
| -rw-r--r-- | misc/vera/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/misc/vera/Makefile b/misc/vera/Makefile index f79908809a05..4ec5f16e4907 100644 --- a/misc/vera/Makefile +++ b/misc/vera/Makefile @@ -14,11 +14,13 @@ MASTER_SITE_SUBDIR= vera MAINTAINER= demon@FreeBSD.org COMMENT= Virtual Entity of Relevant Acronyms +INFO= vera + do-build: - @ cd ${WRKSRC} && makeinfo --no-split vera.texi + @ cd ${WRKSRC} && makeinfo --no-split vera.texi do-install: - @ ${INSTALL_DATA} ${WRKSRC}/vera.info ${PREFIX}/info + @ ${INSTALL_DATA} ${WRKSRC}/vera.info ${PREFIX}/info post-install: @ install-info ${PREFIX}/info/vera.info ${PREFIX}/info/dir |