[MacPorts] #22292: Coq +doc does not install css style file for stdlib html documents
MacPorts
noreply at macports.org
Tue May 15 17:57:33 UTC 2018
#22292: Coq +doc does not install css style file for stdlib html documents
--------------------------------+----------------------
Reporter: kiyoshi.coquser@… | Owner: pmetzger
Type: enhancement | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 1.8.1
Resolution: | Keywords:
Port: coq |
--------------------------------+----------------------
Comment (by pmetzger):
Okay, I intend to close this and I've opened #56498 to track the fact that
Coq's documentation is currently broken.
--
Ticket URL: <https://trac.macports.org/ticket/22292#comment:4>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list