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