summaryrefslogtreecommitdiff
path: root/devel/pvs
diff options
context:
space:
mode:
authorseb <seb>2004-02-16 16:55:43 +0000
committerseb <seb>2004-02-16 16:55:43 +0000
commit736af2ee18862906201b656676fec673111937fb (patch)
treec8434aeb2c0cc37dde8eaec8d02690f69ee55622 /devel/pvs
parent51acef515cbc57380d4af2a9df7ee6cb5156424a (diff)
downloadpkgsrc-736af2ee18862906201b656676fec673111937fb.tar.gz
Remove info files entries from PLIST.
Diffstat (limited to 'devel/pvs')
-rw-r--r--devel/pvs/PLIST3
1 files changed, 1 insertions, 2 deletions
diff --git a/devel/pvs/PLIST b/devel/pvs/PLIST
index c5989e7ec8c..8cd6e581507 100644
--- a/devel/pvs/PLIST
+++ b/devel/pvs/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.4 2003/06/25 21:01:35 seb Exp $
+@comment $NetBSD: PLIST,v 1.5 2004/02/16 16:55:43 seb Exp $
bin/pvs
pvs/Examples/README
pvs/Examples/ackerman.pvs
@@ -24,7 +24,6 @@ pvs/bin/relocate
pvs/bin/tarmail
pvs/bin/untarmail
pvs/doc/release-notes/pvs-release-notes.html
-pvs/doc/release-notes/pvs-release-notes.info
pvs/doc/release-notes/pvs-release-notes.pdf
pvs/doc/release-notes/pvs-release-notes.ps
pvs/emacs/README