summaryrefslogtreecommitdiff
path: root/docs/users_guide/editing-guide.rst
Commit message (Expand)AuthorAgeFilesLines
* reinsert targetEric Lindblad2022-01-141-0/+1
* update URLsEric Lindblad2022-01-141-16/+16
* fix(documentation): Fix the RST links to GHC.PrimHécate2020-05-131-1/+1
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* Minor spelling fixes to users guide.P.C. Shyamshankar2019-05-291-1/+1
* users-guide: Update Wiki URLs to point to GitLabTakenobu Tani2019-03-191-4/+4
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-5/+5
* users guide: Mention :since: in editing-guideBen Gamari2018-10-291-0/+2
* Rip out mkUserGuidePartBen Gamari2017-08-251-11/+0
* users_guide: Convert mkUserGuidePart generation to a Sphinx extensionPatrick Dougherty2017-08-181-5/+23
* Fix more documentation wibblesBen Gamari2017-07-231-0/+15
* users-guide: Standardize and repair all flag referencesPatrick Dougherty2017-07-231-5/+21
* Spelling fixesGabor Greif2017-02-021-4/+4
* users_guide: Use semantic directive/role for command line optionsBen Gamari2016-01-091-3/+64
* Random typo fixesHerbert Valerio Riedel2015-12-171-1/+1
* Fix a typo in the User's Guide ReST introBartosz Nitka2015-10-261-1/+1
* Move user's guide to ReStructuredTextBen Gamari2015-10-031-0/+334