diff options
| author | hrs <hrs@FreeBSD.org> | 2013-05-06 10:00:40 +0800 |
|---|---|---|
| committer | hrs <hrs@FreeBSD.org> | 2013-05-06 10:00:40 +0800 |
| commit | 7d813d3d1216f86eb5fb23e9bb2b1016686e382a (patch) | |
| tree | 03323bda08dff3e59e16e53235d609d9f8541643 /math/coq | |
| parent | 56bfc43ff611d8bd6cd9e8de4be32b94d4cfea27 (diff) | |
| download | freebsd-ports-gnome-7d813d3d1216f86eb5fb23e9bb2b1016686e382a.tar.gz freebsd-ports-gnome-7d813d3d1216f86eb5fb23e9bb2b1016686e382a.tar.zst freebsd-ports-gnome-7d813d3d1216f86eb5fb23e9bb2b1016686e382a.zip | |
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier.
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 <bsd.port.options.mk> .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 |