Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 13 Jun 2013 10:57:23 +0000 (UTC)
From:      Johan van Selst <johans@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r320753 - head/math/coq
Message-ID:  <201306131057.r5DAvNvE013820@svn.freebsd.org>

next in thread | raw e-mail | index | archive | help
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=	*



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201306131057.r5DAvNvE013820>