From c1ca47c561ec5031b3ec95e5fc3bc6383da21883 Mon Sep 17 00:00:00 2001
From: Baptiste Daroussin <bapt@FreeBSD.org>
Date: Wed, 23 Jul 2014 13:04:15 +0000
Subject: [PATCH] Switch to texlive

---
 math/coq/Makefile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/math/coq/Makefile b/math/coq/Makefile
index cf6a36a15413..97a0978d09b1 100644
--- a/math/coq/Makefile
+++ b/math/coq/Makefile
@@ -34,9 +34,8 @@ IDE_DESC=		Include desktop environment (coqide)
 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=		*