id summary reporter owner description type status priority milestone component version resolution keywords cc port 13445 ghc: build and install html documentation sk@… gwright@… 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. enhancement closed Normal ports 1.5.2 worksforme ghc