[123031] trunk/dports/lang/coq/Portfile

khindenburg at macports.org khindenburg at macports.org
Sun Aug 3 17:29:09 PDT 2014


Revision: 123031
          https://trac.macports.org/changeset/123031
Author:   khindenburg at macports.org
Date:     2014-08-03 17:29:09 -0700 (Sun, 03 Aug 2014)
Log Message:
-----------
coq: for +doc add needed dep #42121

Modified Paths:
--------------
    trunk/dports/lang/coq/Portfile

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2014-08-04 00:14:49 UTC (rev 123030)
+++ trunk/dports/lang/coq/Portfile	2014-08-04 00:29:09 UTC (rev 123031)
@@ -48,7 +48,8 @@
 variant doc description {Build documentation} {
     depends_build-append    port:hevea \
                             port:netpbm \
-                            port:texlive
+                            port:texlive \
+                            port:texlive-latex-extra
     configure.args-delete   -with-doc no
     configure.args-append   -with-doc yes
     use_parallel_build      no
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20140803/4b9bde4c/attachment.html>


More information about the macports-changes mailing list