#22254: coq_makefile generates Makefile with ''install -D'' lines ----------------------------------------+----------------------------------- Reporter: kiyoshi.coquser@… | Owner: jann@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.8.1 Resolution: fixed | Keywords: haspatch Port: coq | ----------------------------------------+----------------------------------- Changes (by jann@…): * status: assigned => closed * resolution: => fixed Comment: Committed in r62316. Thanks. -- Ticket URL: <http://trac.macports.org/ticket/22254#comment:4> MacPorts <http://www.macports.org/> Ports system for Mac OS