summaryrefslogtreecommitdiff
path: root/docs/users_guide/flags.py
Commit message (Expand)AuthorAgeFilesLines
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Include -f{write,validate}-ide-info in the User's Guide flag referenceRyan Scott2020-09-161-0/+1
* Fix "ndecreasingIndentation" in manual (#18116)Krzysztof Gogolewski2020-06-141-2/+4
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* users_guide: Set flags list file encodingBen Gamari2019-11-071-1/+1
* doc: Write out documented flag listBen Gamari2019-10-081-1/+11
* users-guide: Make reverse flags addressable via :ghc-flag:Ben Gamari2019-10-081-2/+15
* 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