diff options
| author | johans <johans@FreeBSD.org> | 2013-06-13 18:57:23 +0800 |
|---|---|---|
| committer | johans <johans@FreeBSD.org> | 2013-06-13 18:57:23 +0800 |
| commit | b38be4422fb2dcd68647b39696db38a3cd73349c (patch) | |
| tree | 636d7a2de8e4abab3054b07fce592770f87995af | |
| parent | 85ec93f3e8266416efdb958a1c9d7a426309e8e2 (diff) | |
| download | freebsd-ports-gnome-b38be4422fb2dcd68647b39696db38a3cd73349c.tar.gz freebsd-ports-gnome-b38be4422fb2dcd68647b39696db38a3cd73349c.tar.zst freebsd-ports-gnome-b38be4422fb2dcd68647b39696db38a3cd73349c.zip | |
- Add build dependency due to tex changes
PR: ports/179372
Submitted by: John Marino <draco@marino.st>
| -rw-r--r-- | math/coq/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 8034e71fa3c7..acc1f2ca4bd0 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -36,7 +36,7 @@ MAN1= coq-tex.1 coq_makefile.1 coqc.1 coqchk.1 coqdep.1 coqdoc.1 \ .include <bsd.port.options.mk> .if ${PORT_OPTIONS:MDOCS} -USE_TEX= latex:build +USE_TEX= latex:build dvipsk:build BUILD_DEPENDS+= hevea:${PORTSDIR}/textproc/hevea \ ${LOCALBASE}/share/texmf/tex/latex/ucs/utf8x.def:${PORTSDIR}/print/latex-ucs PORTDOCS= * |