diff options
| author | wiz <wiz@pkgsrc.org> | 2011-02-14 23:31:34 +0000 |
|---|---|---|
| committer | wiz <wiz@pkgsrc.org> | 2011-02-14 23:31:34 +0000 |
| commit | e8470c527f9b625584d7d9a288d2cf70cea615b2 (patch) | |
| tree | eef8a275e9efe7952927c016d6158ccb3fe6f071 /devel | |
| parent | 35e0c8814d337585382b28d0356dfcbef60f7e4f (diff) | |
| download | pkgsrc-e8470c527f9b625584d7d9a288d2cf70cea615b2.tar.gz | |
Quell a pkglint warning.
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/pvs/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile index 0a0b06cc385..7359e567b41 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.41 2009/08/06 01:44:50 minskim Exp $ +# $NetBSD: Makefile,v 1.42 2011/02/14 23:31:34 wiz Exp $ # DISTNAME= pvs-${VERSION} @@ -35,7 +35,7 @@ PKG_DESTDIR_SUPPORT= user-destdir WRKSRC= ${WRKDIR} VERSION= 3.2 -INFO_FILES= # PLIST +INFO_FILES= yes TEX_ACCEPTED= teTeX3 MESSAGE_SRC= ${PKGDIR}/MESSAGE.${EMUL_PLATFORM} |