diff options
author | minskim <minskim@pkgsrc.org> | 2013-10-30 00:21:49 +0000 |
---|---|---|
committer | minskim <minskim@pkgsrc.org> | 2013-10-30 00:21:49 +0000 |
commit | 950929179f58abef0bec792a305a4e0baffe67f1 (patch) | |
tree | 817858846f54465bbf00a29afb765c9d93bea6c9 | |
parent | 666f6208872b24bd7aa7d97b13b2609691348539 (diff) | |
download | pkgsrc-950929179f58abef0bec792a305a4e0baffe67f1.tar.gz |
Install a LaTeX style file into texmf-dist, not texmf.
The latter has been deprecated in TeX Live 2013.
-rw-r--r-- | lang/coq/Makefile | 6 | ||||
-rw-r--r-- | lang/coq/PLIST | 4 |
2 files changed, 5 insertions, 5 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index c2e868c9a75..12027e75178 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.68 2013/10/19 09:07:06 adam Exp $ +# $NetBSD: Makefile,v 1.69 2013/10/30 00:21:49 minskim Exp $ # DISTNAME= coq-8.4pl2 -PKGREVISION= 9 +PKGREVISION= 10 CATEGORIES= lang math MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ @@ -18,7 +18,7 @@ CONFIGURE_ARGS+= -emacslib ${PREFIX}/share/emacs/site-lisp CONFIGURE_ARGS+= -mandir ${PREFIX}/${PKGMANDIR} CONFIGURE_ARGS+= -configdir ${PKG_SYSCONFDIR}/xdg/coq CONFIGURE_ARGS+= -docdir ${PREFIX}/share/doc/coq -CONFIGURE_ARGS+= -coqdocdir ${PREFIX}/share/texmf/tex/latex/coq +CONFIGURE_ARGS+= -coqdocdir ${PREFIX}/share/texmf-dist/tex/latex/coq BUILD_TARGET= world BUILDLINK_API_DEPENDS.ocaml+= ocaml>=3.10 diff --git a/lang/coq/PLIST b/lang/coq/PLIST index 5588eaef6b5..7bcabf54c39 100644 --- a/lang/coq/PLIST +++ b/lang/coq/PLIST @@ -1,4 +1,4 @@ -@comment $NetBSD: PLIST,v 1.13 2012/11/16 14:44:22 jaapb Exp $ +@comment $NetBSD: PLIST,v 1.14 2013/10/30 00:21:49 minskim Exp $ bin/coq-tex bin/coq_makefile bin/coqc @@ -1906,5 +1906,5 @@ share/emacs/site-lisp/coq-font-lock.el share/emacs/site-lisp/coq-inferior.el share/emacs/site-lisp/coq-syntax.el share/emacs/site-lisp/coq.el -share/texmf/tex/latex/coq/coqdoc.sty +share/texmf-dist/tex/latex/coq/coqdoc.sty @pkgdir lib/coq/user-contrib |