[pkgsrc/trunk]: pkgsrc/lang/coq coq: always installs coqdoc.sty in tex tree.

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/85761d8339f1
branches:  trunk
changeset: 309340:85761d8339f1
user:      markd <markd%pkgsrc.org@localhost>
date:      Sat Jun 16 10:25:51 2018 +0000

description:
coq: always installs coqdoc.sty in tex tree.

diffstat:

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

diffs (18 lines):

diff -r 9e487878c042 -r 85761d8339f1 lang/coq/PLIST
--- a/lang/coq/PLIST    Sat Jun 16 09:48:59 2018 +0000
+++ b/lang/coq/PLIST    Sat Jun 16 10:25:51 2018 +0000
@@ -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/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