[MacPorts] #22254: coq_makefile generates Makefile with ''install -D'' lines

[MacPorts]

#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