Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | user-guide: Allow build with sphinx < 1.8 | Ben Gamari | 2018-09-20 | 1 | -2/+7 |
* | users_guide: fix sphinx error caused by non-explicit override | Zejun Wu | 2018-09-20 | 1 | -12/+5 |
* | users-guide: Fix build with sphinx 1.8 | Ben Gamari | 2018-09-20 | 1 | -2/+10 |
* | docs: remove leftovers of static flags | Krzysztof Gogolewski | 2018-07-12 | 1 | -1/+3 |
* | relnotes: Rework treatment of included package list | Ben Gamari | 2017-11-27 | 1 | -25/+1 |
* | users-guide: Disable index node generation | Ben Gamari | 2017-10-26 | 1 | -2/+3 |
* | Make language extensions their own category in the documentation | Joachim Breitner | 2017-10-25 | 1 | -35/+274 |
* | users-guide: Better error messages on incomplete ghc-flag directives | Ben Gamari | 2017-08-22 | 1 | -0/+7 |
* | users_guide: Convert mkUserGuidePart generation to a Sphinx extension | Patrick Dougherty | 2017-08-18 | 1 | -0/+400 |