Opened 14 years ago

Closed 12 years ago

#13445 closed enhancement (worksforme)

ghc: build and install html documentation

Reported by: sk@… Owned by: gwright@…
Priority: Normal Milestone:
Component: ports Version: 1.5.2
Keywords: Cc:
Port: ghc


It would be convenient to (optionally) have the html documentation built and installed to be able to use it for cross reference when building third party library documentation.

Change History (4)

comment:1 Changed 14 years ago by ryandesign (Ryan Schmidt)

Milestone: Port Enhancements
Owner: changed from macports-tickets@… to gwright@…

Assign to maintainer.

comment:2 Changed 13 years ago by blb@…

Keywords: ghc removed
Port: ghc added

I see quite a few HTML files under ${prefix}/share/ghc-6.10.1/doc/ghc/libraries, are there others not currently being installed?

comment:3 Changed 12 years ago by (none)

Milestone: Port Enhancements

Milestone Port Enhancements deleted

comment:4 Changed 12 years ago by blb@…

Resolution: worksforme
Status: newclosed

Closing, lack of response.

Note: See TracTickets for help on using tickets.