diff options
| author | jaapb <jaapb@pkgsrc.org> | 2018-01-22 11:54:43 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2018-01-22 11:54:43 +0000 |
| commit | 5f3480477a057e54b2a4b353b40c18ea5e109cb4 (patch) | |
| tree | 30ead9a1df330cb13e32c6b1044e38e832ec5e91 /lang/coq | |
| parent | a0b7b73dcd6b6120fe0cf5982257a9187ea23aff (diff) | |
| download | pkgsrc-5f3480477a057e54b2a4b353b40c18ea5e109cb4.tar.gz | |
Corrected PLIST for lang/coq
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/PLIST | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lang/coq/PLIST b/lang/coq/PLIST index d0417d87c43..814dee5bf4c 100644 --- a/lang/coq/PLIST +++ b/lang/coq/PLIST @@ -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.lang ${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 |