From f4593bb6db1ca5e1f5aa2e3a9009a1e0012c4cb9 Mon Sep 17 00:00:00 2001
From: markd <markd@pkgsrc.org>
Date: Sat, 16 Jun 2018 10:25:51 +0000
Subject: coq: always installs coqdoc.sty in tex tree.

---
 lang/coq/PLIST | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lang/coq/PLIST')

diff --git a/lang/coq/PLIST b/lang/coq/PLIST
index 167fa50fbc0..45e748fd769 100644
--- a/lang/coq/PLIST
+++ b/lang/coq/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.26 2018/04/09 11:29:23 jaapb Exp $
+@comment $NetBSD: PLIST,v 1.27 2018/06/16 10:25:51 markd Exp $
 bin/coq-tex
 bin/coq_makefile
 bin/coqc
@@ -5312,7 +5312,7 @@ ${PLIST.doc}share/doc/coq/ps/Library.ps
 ${PLIST.doc}share/doc/coq/ps/RecTutorial.ps
 ${PLIST.doc}share/doc/coq/ps/Reference-Manual.ps
 ${PLIST.doc}share/doc/coq/ps/Tutorial.ps
-${PLIST.doc}share/texmf-dist/tex/latex/coq/coqdoc.sty
+share/texmf-dist/tex/latex/coq/coqdoc.sty
 share/emacs/site-lisp/coq-font-lock.el
 share/emacs/site-lisp/coq-inferior.el
 share/emacs/site-lisp/gallina-db.el
-- 
cgit v1.2.3