summaryrefslogtreecommitdiff
path: root/docs/users_guide/conf.py
Commit message (Collapse)AuthorAgeFilesLines
* sphinx-build: fix python stack overflow (Trac #10950)Sergei Trofimovich2016-01-211-0/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Summary: commit a034031a102bc08c76a6cdb104b72922ae22c96b did not fix problem completely. Stack overflows still occasionally happen. Easy to test by the following Torture Test: while sphinx-build -T -N -E -a -b html \ -d docs/users_guide/.doctrees-html \ -D latex_paper_size=letter \ docs/users_guide docs/users_guide/build-html/users_guide do echo again done sphinx build large nested data structures when parses GHC manual (docs/users_guide/glasgow_exts.rst is 455KB in size) which can't be serialized useing default python call stack depth of 1000 calls. The patch increases stack depth 10 times. Survived 2 hours of Torture Test. Signed-off-by: Sergei Trofimovich <siarheit@google.com> Test Plan: ran Torture Test to make sure it is stable Reviewers: austin, bgamari Reviewed By: bgamari Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1809 GHC Trac Issues: #10950
* users_guide: Use semantic directive/role for command line optionsBen Gamari2016-01-091-1/+48
| | | | | | And GHCi commands. This makes cross-referencing much easier. Also normalize markup a bit and add some missing flags.
* users_guide: Add ghci-cmd directiveBen Gamari2016-01-041-0/+14
| | | | | | | | | | | | | Note only does this make the markup cleaner and more semantic, but it clears up some warnings and enables proper hyperlinks. Yay Sphinx! While I was at it I generally cleaned up the markup Test Plan: Read it Reviewers: hvr, thomie, austin Differential Revision: https://phabricator.haskell.org/D1730
* users-guide: Fix typo in conf.pyBen Gamari2015-11-181-1/+1
| | | | inputenv /= inputenc
* users-guide: Use tango pygments styleBen Gamari2015-11-181-1/+1
|
* Move user's guide to ReStructuredTextBen Gamari2015-10-031-0/+112