[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:  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