[MacPorts] #22182: coq +doc may fail to build with parallel building

[MacPorts]

#22182: coq +doc may fail to build with parallel building
---------------------------------------+------------------------------------
 Reporter:  kiyoshi.coquser@…          |       Owner:  reilles@…       
     Type:  defect                     |      Status:  new             
 Priority:  Normal                     |   Milestone:                  
Component:  ports                      |     Version:  1.8.1           
 Keywords:  haspatch                   |        Port:  coq             
---------------------------------------+------------------------------------
Changes (by macsforever2000@…):

  * type:  update => defect


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