[pkgsrc/trunk]: pkgsrc/lang/coq Corrected PLIST for lang/coq

[jaapb <jaapb%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/da9ad057bd68
branches:  trunk
changeset: 374407:da9ad057bd68
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Mon Jan 22 11:54:43 2018 +0000

description:
Corrected PLIST for lang/coq

diffstat:

 lang/coq/PLIST |  5 ++---
 1 files changed, 2 insertions(+), 3 deletions(-)

diffs (19 lines):

diff -r 5fbde89469ae -r da9ad057bd68 lang/coq/PLIST
--- a/lang/coq/PLIST    Mon Jan 22 11:53:32 2018 +0000
+++ b/lang/coq/PLIST    Mon Jan 22 11:54:43 2018 +0000
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.24 2018/01/10 16:26:53 jaapb Exp $
+@comment $NetBSD: PLIST,v 1.25 2018/01/22 11:54:43 jaapb Exp $
 bin/coq-tex
 bin/coq_makefile
 bin/coqc
@@ -4319,8 +4319,7 @@
 ${PLIST.coqide}share/coq/coq.lang
 ${PLIST.coqide}share/coq/coq.png
 ${PLIST.coqide}share/coq/coq_style.xml
-share/coq/index_urls.txt
-${PLIST.doc}share/doc/coq/FAQ-CoqIde
+${PLIST.coqide}share/doc/coq/FAQ-CoqIde
 ${PLIST.doc}share/doc/coq/LICENSE.doc
 ${PLIST.doc}share/doc/coq/html/RecTutorial.html
 ${PLIST.doc}share/doc/coq/html/Tutorial.html