https://github.com/bgamari/ghc-users-guide
Mirror of the GHC user's guide for readthedocs.org
https://github.com/bgamari/ghc-users-guide
Last synced: 9 months ago
JSON representation
Mirror of the GHC user's guide for readthedocs.org
- Host: GitHub
- URL: https://github.com/bgamari/ghc-users-guide
- Owner: bgamari
- Created: 2015-11-18T10:31:02.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2021-01-25T13:50:34.000Z (over 5 years ago)
- Last Synced: 2025-02-14T12:41:50.896Z (over 1 year ago)
- Language: Python
- Homepage: http://ghc.readthedocs.org/
- Size: 872 KB
- Stars: 5
- Watchers: 3
- Forks: 4
- Open Issues: 3
-
Metadata Files:
- Readme: README.mkd
Awesome Lists containing this project
README
# GHC readthedocs hack
This is a quick hack for hosting GHC's Sphinx-based user guide on
[readthedocs](http://ghc.readthedocs.org/).
## Updating the documentation
Set the `GHC_TREE` environment variable to point to the root of a GHC source
tree. Run `./export.sh`. Create an appropriately named tag if desired (e.g.
`8.0.1`). Push.
'Tis all.