diff options
Diffstat (limited to 'devel/pvs/Makefile')
-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 65a565ddb7c..675a04038fe 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.29 2006/05/22 22:22:02 jlam Exp $ +# $NetBSD: Makefile,v 1.30 2006/08/10 03:21:39 minskim Exp $ # DISTNAME= pvs-${VERSION} @@ -24,7 +24,7 @@ VERSION= 3.2 NO_BUILD= yes CHECK_SHLIBS_SUPPORTED= no INFO_FILES= # PLIST -TEX_ACCEPTED= teTeX2 teTeX3 +TEX_ACCEPTED= teTeX3 LICENSE= pvs-license # not quite sure about this, but to be on the safe side: |