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/twelf | |
| 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/twelf')
| -rw-r--r-- | lang/twelf/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index c7b2c8599a25..51f0328f0e9f 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -26,7 +26,7 @@ RUN_DEPENDS= sml:${PORTSDIR}/lang/sml-nj BUILD_DEPENDS= sml:${PORTSDIR}/lang/sml-nj .endif -USE_TEX= tetex +USE_TEX= tex:build .if defined(WITH_MLTON) MAKEFILE= mlton/Makefile |