[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:  macports-tickets@…                   
     Type:  update                     |      Status:  new                                  
 Priority:  Normal                     |   Milestone:                                       
Component:  ports                      |     Version:  1.8.1                                
 Keywords:                             |        Port:  coq                                  
---------------------------------------+------------------------------------
 The command "port install coq +doc" occasionally fails to build.

 Parallel building seems to affect this issue.

 The patch attached this report will fix this issue.

 NOTE:

 patch-doc-tools-latex_filter.diff is obsolete with this patch.

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