diff options
| author | markd <markd@pkgsrc.org> | 2018-06-16 10:25:51 +0000 |
|---|---|---|
| committer | markd <markd@pkgsrc.org> | 2018-06-16 10:25:51 +0000 |
| commit | f4593bb6db1ca5e1f5aa2e3a9009a1e0012c4cb9 (patch) | |
| tree | 0179a010d3565e8f2035cbfb363efab906d2e039 /lang/coq | |
| parent | 88453cf220d403f27360e90143e1faea142cac38 (diff) | |
| download | pkgsrc-f4593bb6db1ca5e1f5aa2e3a9009a1e0012c4cb9.tar.gz | |
coq: always installs coqdoc.sty in tex tree.
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/PLIST | 4 |
1 files changed, 2 insertions, 2 deletions
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 |