diff options
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 |