summaryrefslogtreecommitdiff
path: root/docs/users_guide/flags.py
Commit message (Expand)AuthorAgeFilesLines
* user-guide: Allow build with sphinx < 1.8Ben Gamari2018-09-201-2/+7
* users_guide: fix sphinx error caused by non-explicit overrideZejun Wu2018-09-201-12/+5
* users-guide: Fix build with sphinx 1.8Ben Gamari2018-09-201-2/+10
* docs: remove leftovers of static flagsKrzysztof Gogolewski2018-07-121-1/+3
* relnotes: Rework treatment of included package listBen Gamari2017-11-271-25/+1
* users-guide: Disable index node generationBen Gamari2017-10-261-2/+3
* Make language extensions their own category in the documentationJoachim Breitner2017-10-251-35/+274
* users-guide: Better error messages on incomplete ghc-flag directivesBen Gamari2017-08-221-0/+7
* users_guide: Convert mkUserGuidePart generation to a Sphinx extensionPatrick Dougherty2017-08-181-0/+400