diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2014-07-23 13:04:15 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2014-07-23 13:04:15 +0000 |
| commit | c1ca47c561ec5031b3ec95e5fc3bc6383da21883 (patch) | |
| tree | a882395b5f4484e1bf956ef976b3a5e2cd23dc6a /math/coq | |
| parent | Do not hardcode dvips dependency (diff) | |
Switch to texlive
Notes
Notes:
svn path=/head/; revision=362673
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index cf6a36a15413..97a0978d09b1 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -34,9 +34,8 @@ IDE_DESC= Include desktop environment (coqide) IDE_BUILD_DEPENDS= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 IDE_RUN_DEPENDS:= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 IDE_CONFIGURE_OFF= --coqide no -DOCS_USE= TEX=latex:build,dvipsk:build -DOCS_BUILD_DEPENDS= hevea:${PORTSDIR}/textproc/hevea \ - ${LOCALBASE}/share/texmf/tex/latex/ucs/utf8x.def:${PORTSDIR}/print/latex-ucs +DOCS_USE= TEX=latex:build,dvipsk:build,texmf:build +DOCS_BUILD_DEPENDS= hevea:${PORTSDIR}/textproc/hevea DOCS_CONFIGURE_OFF= --with-doc none PORTDOCS= * |