Date: Wed, 23 Jul 2014 13:04:15 +0000 (UTC) From: Baptiste Daroussin <bapt@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r362673 - head/math/coq Message-ID: <201407231304.s6ND4F4X048832@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: bapt Date: Wed Jul 23 13:04:15 2014 New Revision: 362673 URL: http://svnweb.freebsd.org/changeset/ports/362673 QAT: https://qat.redports.org/buildarchive/r362673/ Log: Switch to texlive Modified: head/math/coq/Makefile Modified: head/math/coq/Makefile ============================================================================== --- head/math/coq/Makefile Wed Jul 23 12:58:35 2014 (r362672) +++ head/math/coq/Makefile Wed Jul 23 13:04:15 2014 (r362673) @@ -34,9 +34,8 @@ IDE_DESC= Include desktop environment ( IDE_BUILD_DEPENDS= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 IDE_RUN_DEPENDS:= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 IDE_CONFIGURE_OFF= --coqide no -DOCS_USE= TEX=latex:build,dvipsk:build -DOCS_BUILD_DEPENDS= hevea:${PORTSDIR}/textproc/hevea \ - ${LOCALBASE}/share/texmf/tex/latex/ucs/utf8x.def:${PORTSDIR}/print/latex-ucs +DOCS_USE= TEX=latex:build,dvipsk:build,texmf:build +DOCS_BUILD_DEPENDS= hevea:${PORTSDIR}/textproc/hevea DOCS_CONFIGURE_OFF= --with-doc none PORTDOCS= *
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201407231304.s6ND4F4X048832>