aboutsummaryrefslogtreecommitdiffstats
path: root/lang/twelf
diff options
context:
space:
mode:
authorbapt <bapt@FreeBSD.org>2014-07-22 06:14:39 +0800
committerbapt <bapt@FreeBSD.org>2014-07-22 06:14:39 +0800
commiteb34ba49e55d3de9b5da4d6c9c516ca5c8b77cec (patch)
tree6862b6180a0f44a6ec1c0f6a05ffaf60f69b7be9 /lang/twelf
parentaac55656d82d11247f50c15db7d258ff608ba453 (diff)
downloadfreebsd-ports-gnome-eb34ba49e55d3de9b5da4d6c9c516ca5c8b77cec.tar.gz
freebsd-ports-gnome-eb34ba49e55d3de9b5da4d6c9c516ca5c8b77cec.tar.zst
freebsd-ports-gnome-eb34ba49e55d3de9b5da4d6c9c516ca5c8b77cec.zip
Fix build with texlive
Diffstat (limited to 'lang/twelf')
-rw-r--r--lang/twelf/Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile
index cb6b20cd0587..b4aa50e669cb 100644
--- a/lang/twelf/Makefile
+++ b/lang/twelf/Makefile
@@ -15,7 +15,8 @@ LICENSE= BSD2CLAUSE
LICENSE_FILE= ${WRKSRC}/LICENSE
RUN_DEPENDS= mlton:${PORTSDIR}/lang/mlton
-BUILD_DEPENDS= mlton:${PORTSDIR}/lang/mlton
+BUILD_DEPENDS= mlton:${PORTSDIR}/lang/mlton \
+ texi2html:${PORTSDIR}/textproc/texi2html
USES= gmake
ALL_TARGET= mlton