Opened 7 years ago
Closed 6 years ago
#56498 closed defect (fixed)
Coq +doc is broken for Coq 8.8.0
| Reported by: | pmetzger (Perry E. Metzger) | Owned by: | pmetzger (Perry E. Metzger) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | ||
| Port: | coq |
Description
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
Change History (1)
comment:1 Changed 6 years ago by pmetzger (Perry E. Metzger)
| Resolution: | → fixed |
|---|---|
| Status: | assigned → closed |
Note: See
TracTickets for help on using
tickets.