summaryrefslogtreecommitdiff
path: root/devel/pvs
diff options
context:
space:
mode:
authorseb <seb@pkgsrc.org>2004-02-16 16:55:43 +0000
committerseb <seb@pkgsrc.org>2004-02-16 16:55:43 +0000
commit0444ffc2973ad5ead11e1fa9b6e408b9842c8fe4 (patch)
treec8434aeb2c0cc37dde8eaec8d02690f69ee55622 /devel/pvs
parent8fc8dafed3d33ce45c4bc457bedff4bbb596b4da (diff)
downloadpkgsrc-0444ffc2973ad5ead11e1fa9b6e408b9842c8fe4.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