diff options
| author | seb <seb@pkgsrc.org> | 2003-08-09 10:38:23 +0000 |
|---|---|---|
| committer | seb <seb@pkgsrc.org> | 2003-08-09 10:38:23 +0000 |
| commit | 8d15907ec2b57f0ed9901c300b10d188b5912fee (patch) | |
| tree | 1e60b674de1a8bcab1e3bf4a4f6256ad21787f40 /devel/pvs | |
| parent | 0d7159e7bde3ed33d6dcb456f8e432ef446180b6 (diff) | |
| download | pkgsrc-8d15907ec2b57f0ed9901c300b10d188b5912fee.tar.gz | |
USE_NEW_TEXINFO is unnecessary now.
Diffstat (limited to 'devel/pvs')
| -rw-r--r-- | devel/pvs/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile index a2023b867a4..a31a3927e6d 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.8 2003/07/17 21:33:16 grant Exp $ +# $NetBSD: Makefile,v 1.9 2003/08/09 10:44:47 seb Exp $ # DISTNAME= pvs-${VERSION} @@ -24,7 +24,6 @@ NO_BUILD= # defined CHECK_SHLIBS= NO SHLIB_HANDLING= NO USE_BUILDLINK2= YES -USE_NEW_TEXINFO= YES INFO_DIR= pvs/doc/release-notes INFO_FILES= pvs-release-notes.info |