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