Ticket #22292 (new enhancement)
Coq +doc does not install css style file for stdlib html documents
|Reported by:||kiyoshi.coquser@…||Owned by:||reilles@…|
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.
Note: See TracTickets for help on using tickets.