#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