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 | |
| parent | 86f508eda7a698b5899384793046c646639de053 (diff) | |
| download | ports-8f76b13706de70d4096f5370ecd656d726958302.tar.gz ports-8f76b13706de70d4096f5370ecd656d726958302.zip | |
Notes
Diffstat (limited to 'misc/vera')
| -rw-r--r-- | misc/vera/Makefile | 6 | ||||
| -rw-r--r-- | misc/vera/pkg-plist | 4 |
2 files changed, 5 insertions, 5 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 diff --git a/misc/vera/pkg-plist b/misc/vera/pkg-plist index 4706026e1c06..6d402f7894c9 100644 --- a/misc/vera/pkg-plist +++ b/misc/vera/pkg-plist @@ -1,3 +1 @@ -@unexec install-info --delete %D/info/vera.info %D/info/dir -info/vera.info -@exec install-info %D/info/vera.info %D/info/dir +@comment We do not utilize this file |