summaryrefslogtreecommitdiff
path: root/docs/users_guide/conf.py
Commit message (Expand)AuthorAgeFilesLines
* Switch to ReadTheDocs theme for the user-guideSylvain Henry2019-12-251-2/+2
* users guide: Try to silence underfull \hbox warningsBen Gamari2019-12-051-0/+4
* users-guide: Run sphinx in nit-picky modeBen Gamari2019-10-081-0/+23
* users-guide: Rework pragma key generationBen Gamari2019-10-081-6/+8
* Fix some warnings in users_guide (incl #16640)Oleg Grenrus2019-05-291-1/+8
* users guide: fix typesetting of pragmasBen Price2019-01-231-3/+4
* users guide: Introduce :pragma: directiveBen Gamari2018-10-291-0/+14
* users-guide: Override mathjax_pathBen Gamari2018-04-191-0/+3
* users-guide: Consistently document LLVM version requirementBen Gamari2017-12-141-0/+4
* relnotes: Rework treatment of included package listBen Gamari2017-11-271-1/+5
* users_guide: Convert mkUserGuidePart generation to a Sphinx extensionPatrick Dougherty2017-08-181-12/+3
* users-guide: Make it easier to reference haddocksBen Gamari2017-07-241-0/+41
* Fix more documentation wibblesBen Gamari2017-07-231-1/+1
* users-guide: Standardize and repair all flag referencesPatrick Dougherty2017-07-231-24/+28
* Fix "Glasgow Haskell Compiler <release> Users Guide"Bartosz Nitka2017-04-171-1/+1
* Spelling fixesGabor Greif2017-02-021-5/+5
* users-guide: Produce OpenSearch descriptionBen Gamari2017-01-101-0/+1
* Clarify pkg selection when multiple versions are availableHarendra Kumar2016-08-301-3/+3
* users-guide: Remove static field type from rts-flagBen Gamari2016-07-041-1/+0
* users-guide: Fix index in PDF outputBen Gamari2016-05-211-0/+1
* sphinx-build: fix python stack overflow (Trac #10950)Sergei Trofimovich2016-01-211-0/+10
* users_guide: Use semantic directive/role for command line optionsBen Gamari2016-01-091-1/+48
* users_guide: Add ghci-cmd directiveBen Gamari2016-01-041-0/+14
* users-guide: Fix typo in conf.pyBen Gamari2015-11-181-1/+1
* users-guide: Use tango pygments styleBen Gamari2015-11-181-1/+1
* Move user's guide to ReStructuredTextBen Gamari2015-10-031-0/+112
View Lorry Controller Status