[MacPorts] #56498: Coq +doc is broken for Coq 8.8.0

[MacPorts]

#56498: Coq +doc is broken for Coq 8.8.0
----------------------+----------------------
 Reporter:  pmetzger  |      Owner:  pmetzger
     Type:  defect    |     Status:  assigned
 Priority:  Normal    |  Milestone:
Component:  ports     |    Version:
 Keywords:            |       Port:  coq
----------------------+----------------------
 Coq now uses Sphinx to generate most of its documentation. The +doc
 variant is now broken and needs a couple of added python libraries +
 dependencies to work correctly.

 This replaces #22292

-- 
Ticket URL: <https://trac.macports.org/ticket/56498>
MacPorts <https://www.macports.org/>
Ports system for macOS