diff options
Diffstat (limited to 'lang/mlton/Makefile')
| -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 |