mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-21 00:25:50 +00:00
Code Issues Releases Activity

Switch to texlive

Browse Source
This commit is contained in:
Baptiste Daroussin 2014-07-23 13:04:15 +00:00
parent 80fdfdf8c8
commit c1ca47c561
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=362673
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
math/coq/Makefile
View File

@ -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= *