CVS commit: pkgsrc/lang/coq

["Jaap Boender" <jaapb%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   jaapb
Date:           Mon Jan 22 11:54:43 UTC 2018

Modified Files:
        pkgsrc/lang/coq: PLIST

Log Message:
Corrected PLIST for lang/coq


To generate a diff of this commit:
cvs rdiff -u -r1.24 -r1.25 pkgsrc/lang/coq/PLIST

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/lang/coq/PLIST
diff -u pkgsrc/lang/coq/PLIST:1.24 pkgsrc/lang/coq/PLIST:1.25
--- pkgsrc/lang/coq/PLIST:1.24  Wed Jan 10 16:26:53 2018
+++ pkgsrc/lang/coq/PLIST       Mon Jan 22 11:54:43 2018
@@ -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-ssreflect.l
 ${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