[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:  pmetzger
      Type:  enhancement        |     Status:  new
  Priority:  Normal             |  Milestone:
 Component:  ports              |    Version:  1.8.1
Resolution:                     |   Keywords:
      Port:  coq                |
--------------------------------+----------------------

Comment (by pmetzger):

 I'm pretty sure that by now, especially given that the documentation has
 completely changed for 8.8.0, this may be long obsolete. Please correct me
 if I'm wrong.

-- 
Ticket URL: <https://trac.macports.org/ticket/22292#comment:3>
MacPorts <https://www.macports.org/>
Ports system for macOS