diff options
| author | hrs <hrs@FreeBSD.org> | 2013-05-12 01:58:55 +0800 |
|---|---|---|
| committer | hrs <hrs@FreeBSD.org> | 2013-05-12 01:58:55 +0800 |
| commit | 514b35c5ff85906bace4b99b5298bb03779d8082 (patch) | |
| tree | 4e99b662e9edb02c504f73d22596ea702c0f3d31 /lang/mlton | |
| parent | 3c5290d5fb12b9f59c755a169a5953b92bcd083d (diff) | |
| download | freebsd-ports-gnome-514b35c5ff85906bace4b99b5298bb03779d8082.tar.gz freebsd-ports-gnome-514b35c5ff85906bace4b99b5298bb03779d8082.tar.zst freebsd-ports-gnome-514b35c5ff85906bace4b99b5298bb03779d8082.zip | |
Rectify USE_TEX to support both of teTeX and TeXLive.
TEX_DEFAULT:
A knob to choose teTeX or TeXLive. One can specify in /etc/make.conf.
USE_TEX:
A knob for port developers. Valid keywords are listed in
bsd.tex.mk.
Diffstat (limited to 'lang/mlton')
| -rw-r--r-- | lang/mlton/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index 6f085de7a9b3..121595774eba 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -32,7 +32,7 @@ OPTIONS= SMLNJ "Bootstrap with SML/NJ (can take >15 hours)" off \ .if !defined(NOPORTDOCS) BUILD_DEPENDS+= gsed:${PORTSDIR}/textproc/gsed \ htmldoc:${PORTSDIR}/textproc/htmldoc -USE_TEX= tetex +USE_TEX= latex:build .else INSTALL_TARGET= install-no-docs ALL_TARGET= all-no-docs |