[MacPorts] #22292: Coq +doc does not install css style file for stdlib html documents

[MacPorts]

#22292: Coq +doc does not install css style file for stdlib html documents
---------------------------------------+------------------------------------
 Reporter:  kiyoshi.coquser@…          |       Owner:  macports-tickets@…                   
     Type:  enhancement                |      Status:  new                                  
 Priority:  Normal                     |   Milestone:                                       
Component:  ports                      |     Version:  1.8.1                                
 Keywords:                             |        Port:  coq                                  
---------------------------------------+------------------------------------
 Original makefile of Coq does not install css style file for the stdlib
 html documents.
 To make the document easy to read, I propose to install css for it.

 A patch attached this report will make css installed.

-- 
Ticket URL: <http://trac.macports.org/ticket/22292>
MacPorts <http://www.macports.org/>
Ports system for Mac OS