ghc-docker-dev
ghc-docker-dev copied to clipboard
configure could use some extra tools
I noticed these messages during configure:
HsColour was not found; documentation will not contain source links
Tools to build Sphinx PDF documentation available: NO
hscolour is added in pull request #17