From owner-freebsd-ports-bugs@FreeBSD.ORG  Thu Jun  6 16:30:00 2013
Return-Path: <owner-freebsd-ports-bugs@FreeBSD.ORG>
Delivered-To: freebsd-ports-bugs@smarthost.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by hub.freebsd.org (Postfix) with ESMTP id E5B49C02
 for <freebsd-ports-bugs@smarthost.ysv.freebsd.org>;
 Thu,  6 Jun 2013 16:30:00 +0000 (UTC)
 (envelope-from gnats@FreeBSD.org)
Received: from freefall.freebsd.org (freefall.freebsd.org
 [IPv6:2001:1900:2254:206c::16:87])
 by mx1.freebsd.org (Postfix) with ESMTP id B27C11CDA
 for <freebsd-ports-bugs@smarthost.ysv.freebsd.org>;
 Thu,  6 Jun 2013 16:30:00 +0000 (UTC)
Received: from freefall.freebsd.org (localhost [127.0.0.1])
 by freefall.freebsd.org (8.14.7/8.14.7) with ESMTP id r56GU0ed073539
 for <freebsd-ports-bugs@freefall.freebsd.org>; Thu, 6 Jun 2013 16:30:00 GMT
 (envelope-from gnats@freefall.freebsd.org)
Received: (from gnats@localhost)
 by freefall.freebsd.org (8.14.7/8.14.7/Submit) id r56GU0Ls073538;
 Thu, 6 Jun 2013 16:30:00 GMT (envelope-from gnats)
Resent-Date: Thu, 6 Jun 2013 16:30:00 GMT
Resent-Message-Id: <201306061630.r56GU0Ls073538@freefall.freebsd.org>
Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer)
Resent-To: freebsd-ports-bugs@FreeBSD.org
Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org,
 John Marino <draco@marino.st>
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by hub.freebsd.org (Postfix) with ESMTP id 37868B90
 for <freebsd-gnats-submit@FreeBSD.org>; Thu,  6 Jun 2013 16:24:23 +0000 (UTC)
 (envelope-from nobody@FreeBSD.org)
Received: from oldred.freebsd.org (oldred.freebsd.org [8.8.178.121])
 by mx1.freebsd.org (Postfix) with ESMTP id 2A1021CA0
 for <freebsd-gnats-submit@FreeBSD.org>; Thu,  6 Jun 2013 16:24:23 +0000 (UTC)
Received: from oldred.freebsd.org ([127.0.1.6])
 by oldred.freebsd.org (8.14.5/8.14.7) with ESMTP id r56GOMS3003283
 for <freebsd-gnats-submit@FreeBSD.org>; Thu, 6 Jun 2013 16:24:22 GMT
 (envelope-from nobody@oldred.freebsd.org)
Received: (from nobody@localhost)
 by oldred.freebsd.org (8.14.5/8.14.5/Submit) id r56GOMtL003282;
 Thu, 6 Jun 2013 16:24:22 GMT (envelope-from nobody)
Message-Id: <201306061624.r56GOMtL003282@oldred.freebsd.org>
Date: Thu, 6 Jun 2013 16:24:22 GMT
From: John Marino <draco@marino.st>
To: freebsd-gnats-submit@FreeBSD.org
X-Send-Pr-Version: www-3.1
Subject: ports/179372: [PATCH] math/coq: Fix breakage due to tex changes
X-BeenThere: freebsd-ports-bugs@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Ports bug reports <freebsd-ports-bugs.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/freebsd-ports-bugs>, 
 <mailto:freebsd-ports-bugs-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-ports-bugs>
List-Post: <mailto:freebsd-ports-bugs@freebsd.org>
List-Help: <mailto:freebsd-ports-bugs-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports-bugs>, 
 <mailto:freebsd-ports-bugs-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 06 Jun 2013 16:30:01 -0000


>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: