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 /lang/coq/Makefile | |
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.
Diffstat (limited to 'lang/coq/Makefile')
-rw-r--r-- | lang/coq/Makefile | 6 |
1 files changed, 3 insertions, 3 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 |