pkgsrc-Changes-HG archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

[pkgsrc/trunk]: pkgsrc/lang/coq Install a LaTeX style file into texmf-dist, n...



details:   https://anonhg.NetBSD.org/pkgsrc/rev/f38c12e551ef
branches:  trunk
changeset: 625998:f38c12e551ef
user:      minskim <minskim%pkgsrc.org@localhost>
date:      Wed Oct 30 00:21:49 2013 +0000

description:
Install a LaTeX style file into texmf-dist, not texmf.

The latter has been deprecated in TeX Live 2013.

diffstat:

 lang/coq/Makefile |  6 +++---
 lang/coq/PLIST    |  4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)

diffs (39 lines):

diff -r 58af6bf7b7e2 -r f38c12e551ef lang/coq/Makefile
--- a/lang/coq/Makefile Tue Oct 29 23:52:56 2013 +0000
+++ b/lang/coq/Makefile Wed Oct 30 00:21:49 2013 +0000
@@ -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+=       -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 -r 58af6bf7b7e2 -r f38c12e551ef lang/coq/PLIST
--- a/lang/coq/PLIST    Tue Oct 29 23:52:56 2013 +0000
+++ b/lang/coq/PLIST    Wed Oct 30 00:21:49 2013 +0000
@@ -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-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



Home | Main Index | Thread Index | Old Index