From 7dadfc8a887b9d519a937284f72ac2ce844fd960 Mon Sep 17 00:00:00 2001 From: Hiroki Sato Date: Mon, 6 May 2013 02:00:40 +0000 Subject: Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex instead to make migration to TeXLive easier. --- math/coq/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'math/coq') diff --git a/math/coq/Makefile b/math/coq/Makefile index e735506fd335..a2191926c16c 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -36,8 +36,8 @@ MAN1= coq-tex.1 coq_makefile.1 coqc.1 coqchk.1 coqdep.1 coqdoc.1 \ .include .if ${PORT_OPTIONS:MDOCS} +USE_TEX= tetex BUILD_DEPENDS+= hevea:${PORTSDIR}/textproc/hevea \ - latex:${PORTSDIR}/print/teTeX \ ${LOCALBASE}/share/texmf/tex/latex/ucs/utf8x.def:${PORTSDIR}/print/latex-ucs PORTDOCS= * .else -- cgit v1.2.3