ports/179372: [PATCH] math/coq: Fix breakage due to tex changes

[John Marino]

>Number:         179372
>Category:       ports
>Synopsis:       [PATCH] math/coq: Fix breakage due to tex changes
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Thu Jun 06 16:30:00 UTC 2013
>Closed-Date:
>Last-Modified:
>Originator:     John Marino
>Release:        
>Organization:
>Environment:
>Description:
math/coq doesn't build due to recent tex changes.
Fix included below.
>How-To-Repeat:

>Fix:


Patch attached with submission follows:

--- Makefile.orig	2013-05-11 17:58:55.000000000 +0000
+++ Makefile
@@ -36,7 +36,7 @@ MAN1=	coq-tex.1 coq_makefile.1 coqc.1 co
 .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=	*


>Release-Note:
>Audit-Trail:
>Unformatted: