diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2014-07-23 12:58:35 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2014-07-23 12:58:35 +0000 |
| commit | 80fdfdf8c818153661aeea17d34f194868823e31 (patch) | |
| tree | 5c83e6885a6b2a9856f847a7c83fa050ffc4ee2d /lang | |
| parent | a3bc460f42dd9350529bb3c6450fc95e89cac8b2 (diff) | |
| download | ports-80fdfdf8c818153661aeea17d34f194868823e31.tar.gz ports-80fdfdf8c818153661aeea17d34f194868823e31.zip | |
Notes
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/twelf/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index b4aa50e669cb..89239c05050b 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -27,9 +27,8 @@ PORTDOCS= dvi html info pdf ps .include <bsd.port.options.mk> .if ${PORT_OPTIONS:MDOCS} -USE_TEX= tex:build +USE_TEX= tex:build dvipsk:build BUILD_DEPENDS+= ${LOCALBASE}/bin/makeinfo:${PORTSDIR}/print/texinfo -BUILD_DEPENDS+= ${LOCALBASE}/bin/dvips:${PORTSDIR}/print/dvipsk-tetex .endif post-patch: |