|
Lines 36-42
MAN1= coq-tex.1 coq_makefile.1 coqc.1 co
Link Here
|
| 36 |
.include <bsd.port.options.mk> |
36 |
.include <bsd.port.options.mk> |
| 37 |
|
37 |
|
| 38 |
.if ${PORT_OPTIONS:MDOCS} |
38 |
.if ${PORT_OPTIONS:MDOCS} |
| 39 |
USE_TEX= latex:build |
39 |
USE_TEX= latex:build dvipsk:build |
| 40 |
BUILD_DEPENDS+= hevea:${PORTSDIR}/textproc/hevea \ |
40 |
BUILD_DEPENDS+= hevea:${PORTSDIR}/textproc/hevea \ |
| 41 |
${LOCALBASE}/share/texmf/tex/latex/ucs/utf8x.def:${PORTSDIR}/print/latex-ucs |
41 |
${LOCALBASE}/share/texmf/tex/latex/ucs/utf8x.def:${PORTSDIR}/print/latex-ucs |
| 42 |
PORTDOCS= * |
42 |
PORTDOCS= * |