[MacPorts] #22726: Cannot compile LaTeX doc for Coq

[MacPorts]

#22726: Cannot compile LaTeX doc for Coq
-------------------------------------------+--------------------------------
 Reporter:  hippallium-macports@…          |       Owner:  reilles@…       
     Type:  defect                         |      Status:  new             
 Priority:  Normal                         |   Milestone:                  
Component:  ports                          |     Version:  1.8.1           
 Keywords:  LaTeX                          |        Port:  coq             
-------------------------------------------+--------------------------------
Changes (by macsforever2000@…):

  * owner:  macports-tickets@… => reilles@…


-- 
Ticket URL: <http://trac.macports.org/ticket/22726#comment:1>
MacPorts <http://www.macports.org/>
Ports system for Mac OS