#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