New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #22292 (new enhancement)

Opened 4 years ago

Last modified 4 years ago

Coq +doc does not install css style file for stdlib html documents

Reported by: kiyoshi.coquser@… Owned by: reilles@…
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

patch-Makefile.doc.diff (633 bytes) - added by kiyoshi.coquser@… 4 years ago.

Change History

Changed 4 years ago by kiyoshi.coquser@…

comment:1 Changed 4 years ago by macsforever2000@…

  • Owner changed from macports-tickets@… to reilles@…
Note: See TracTickets for help on using tickets.