svn commit: r362673 - head/math/coq

[Baptiste Daroussin]

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=		*