#22254: coq_makefile generates Makefile with ''install -D'' lines ---------------------------------------+------------------------------------ Reporter: kiyoshi.coquser@… | Owner: jann@… Type: defect | Status: assigned Priority: Normal | Milestone: Component: ports | Version: 1.8.1 Keywords: haspatch | Port: coq ---------------------------------------+------------------------------------ Changes (by jann@…): * cc: jann@…, reilles@… (added) * owner: reilles@… => jann@… * status: new => assigned Comment: The maintainer doesn't seem to respond. If you provide a patch for the portfile itself, I will commit this fix. -- Ticket URL: <http://trac.macports.org/ticket/22254#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS