From owner-svn-ports-head@FreeBSD.ORG  Thu Jun 13 10:57:23 2013
Return-Path: <owner-svn-ports-head@FreeBSD.ORG>
Delivered-To: svn-ports-head@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 8F68391B;
 Thu, 13 Jun 2013 10:57:23 +0000 (UTC)
 (envelope-from johans@FreeBSD.org)
Received: from svn.freebsd.org (svn.freebsd.org
 [IPv6:2001:1900:2254:2068::e6a:0])
 by mx1.freebsd.org (Postfix) with ESMTP id 822241660;
 Thu, 13 Jun 2013 10:57:23 +0000 (UTC)
Received: from svn.freebsd.org ([127.0.1.70])
 by svn.freebsd.org (8.14.7/8.14.7) with ESMTP id r5DAvNPB013821;
 Thu, 13 Jun 2013 10:57:23 GMT (envelope-from johans@svn.freebsd.org)
Received: (from johans@localhost)
 by svn.freebsd.org (8.14.7/8.14.5/Submit) id r5DAvNvE013820;
 Thu, 13 Jun 2013 10:57:23 GMT (envelope-from johans@svn.freebsd.org)
Message-Id: <201306131057.r5DAvNvE013820@svn.freebsd.org>
From: Johan van Selst <johans@FreeBSD.org>
Date: Thu, 13 Jun 2013 10:57:23 +0000 (UTC)
To: ports-committers@freebsd.org, svn-ports-all@freebsd.org,
 svn-ports-head@freebsd.org
Subject: svn commit: r320753 - head/math/coq
X-SVN-Group: ports-head
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-BeenThere: svn-ports-head@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: SVN commit messages for the ports tree for head
 <svn-ports-head.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-head>
List-Post: <mailto:svn-ports-head@freebsd.org>
List-Help: <mailto:svn-ports-head-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 13 Jun 2013 10:57:23 -0000

Author: johans
Date: Thu Jun 13 10:57:23 2013
New Revision: 320753
URL: http://svnweb.freebsd.org/changeset/ports/320753

Log:
  - Add build dependency due to tex changes
  
  PR:		ports/179372
  Submitted by:	John Marino <draco@marino.st>

Modified:
  head/math/coq/Makefile

Modified: head/math/coq/Makefile
==============================================================================
--- head/math/coq/Makefile	Thu Jun 13 10:31:37 2013	(r320752)
+++ head/math/coq/Makefile	Thu Jun 13 10:57:23 2013	(r320753)
@@ -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=	*