New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
GHC add man pages #21434
GHC add man pages #21434
Conversation
Fixes NixOS#20281 "Since GHC 8.0, the User’s Guide is authored in ReStructuredText (or ReST or RST, for short) a rich but light-weight mark-up language aimed at producing documentation. The Sphinx tool is used to produce the final PDF and HTML documentation." - http://ghc.readthedocs.io/en/8.0.1/editing-guide.html
I merged ae6c7352aa2881bc56550b2150d979b59053616a, f257c5f4d75eb27c502b16f5d4f4cb856abb23e2, and 9bd7d4a443c398985dc18a63c33989416a8f182b to |
This patch doesn't seem to work (for ghc 8.0.1). I just looked at
|
8.0.2 has no man page either:
Am I missing something? |
For reasons that aren't particularly clear to me, the man pages and HTML documentation go into the 'doc' output. If you look at the tail end of the output from your build commands, you should see reference to it. Currently, when one uses |
Ah, good point. That explains it. |
Motivation for this change
Adds man pages for
ghc
versions 8.0.1 and 8.0.2 to resolve issue #20281. Also makes the section titled "The User's Guide" build in the html documentation. Note thatman ghci
still finds no man pages, but Fedora 24 behaves the same way so that is an upstream issue.Things done
(nix.useSandbox on NixOS,
or option
build-use-sandbox
innix.conf
on non-NixOS)
nix-shell -p nox --run "nox-review wip"
./result/bin/
)