Opened 15 years ago
Closed 7 years ago
#22292 closed enhancement (duplicate)
Coq +doc does not install css style file for stdlib html documents
| Reported by: | kiyoshi.coquser@… | Owned by: | pmetzger (Perry E. Metzger) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.8.1 |
| Keywords: | Cc: | ||
| Port: | coq |
Description
Original makefile of Coq does not install css style file for the stdlib html documents. To make the document easy to read, I propose to install css for it.
A patch attached this report will make css installed.
Attachments (1)
Change History (6)
Changed 15 years ago by kiyoshi.coquser@…
| Attachment: | patch-Makefile.doc.diff added |
|---|
comment:1 Changed 15 years ago by mf2k (Frank Schima)
| Owner: | changed from macports-tickets@… to reilles@… |
|---|
comment:2 Changed 10 years ago by jmroot (Joshua Root)
| Owner: | changed from reilles@… to perry@… |
|---|
comment:3 Changed 7 years ago by pmetzger (Perry E. Metzger)
comment:4 Changed 7 years ago by pmetzger (Perry E. Metzger)
Okay, I intend to close this and I've opened #56498 to track the fact that Coq's documentation is currently broken.
comment:5 Changed 7 years ago by pmetzger (Perry E. Metzger)
| Resolution: | → duplicate |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
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.