kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

coq: always installs coqdoc.sty in tex tree.

Browse source
This commit is contained in:
markd 2018-06-16 10:25:51 +00:00
parent 17e58a8a5b
commit bf370cab99
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
lang/coq/PLIST
View file

@ -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