CVS commit: pkgsrc/lang/coq

["Mark Davies" <markd%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   markd
Date:           Sat Jun 16 10:25:51 UTC 2018

Modified Files:
        pkgsrc/lang/coq: PLIST

Log Message:
coq: always installs coqdoc.sty in tex tree.


To generate a diff of this commit:
cvs rdiff -u -r1.26 -r1.27 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.26 pkgsrc/lang/coq/PLIST:1.27
--- pkgsrc/lang/coq/PLIST:1.26  Mon Apr  9 11:29:23 2018
+++ pkgsrc/lang/coq/PLIST       Sat Jun 16 10:25:51 2018
@@ -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