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 /lang/mlton | |
| 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 'lang/mlton')
| -rw-r--r-- | lang/mlton/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index 85fedba9c679..6f085de7a9b3 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -31,8 +31,8 @@ OPTIONS= SMLNJ "Bootstrap with SML/NJ (can take >15 hours)" off \ .if !defined(NOPORTDOCS) BUILD_DEPENDS+= gsed:${PORTSDIR}/textproc/gsed \ - htmldoc:${PORTSDIR}/textproc/htmldoc \ - latex:${PORTSDIR}/print/teTeX + htmldoc:${PORTSDIR}/textproc/htmldoc +USE_TEX= tetex .else INSTALL_TARGET= install-no-docs ALL_TARGET= all-no-docs |