[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