[MacPorts] #22292: Coq +doc does not install css style file for stdlib html documents
MacPorts
noreply at macports.org
Thu Oct 29 01:46:47 PDT 2009
#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
More information about the macports-tickets
mailing list