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