diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-09-25 02:52:19 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-25 21:15:53 -0400 |
| commit | 83407ffc7acc00cc025b9f6ed063add9ab9f9bcc (patch) | |
| tree | 4adb5168fee7ad6e96c8c462294a680319175039 /docs/users_guide/conf.py | |
| parent | 6a7dae4badcea5b3519005cf4e5fbf15f7e5df59 (diff) | |
| download | haskell-83407ffc7acc00cc025b9f6ed063add9ab9f9bcc.tar.gz | |
Various documentation fixes
* Remove UnliftedFFITypes from conf. Some time ago, this extension
was undocumented and we had to silence a warning.
This is no longer needed.
* Use r'' in conf.py. This fixes a Sphinx warning:
WARNING: Support for evaluating Python 2 syntax is deprecated and will be removed in Sphinx 4.0. Convert docs/users_guide/conf.py to Python 3 syntax.
* Mark GHCForeignImportPrim as documented
* Fix formatting in template_haskell.rst
* Remove 'recursive do' from the list of unsupported items in TH
Diffstat (limited to 'docs/users_guide/conf.py')
| -rw-r--r-- | docs/users_guide/conf.py | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py index 5c372cd5fa..ffe4d8757a 100644 --- a/docs/users_guide/conf.py +++ b/docs/users_guide/conf.py @@ -38,9 +38,6 @@ nitpick_ignore = [ ("extension", "DoAndIfThenElse"), ("extension", "RelaxedPolyRec"), - - # See #16629 - ("extension", "UnliftedFFITypes"), ] rst_prolog = """ @@ -96,13 +93,13 @@ htmlhelp_basename = 'GHCUsersGuide' latex_elements = { 'inputenc': '', 'utf8extra': '', - 'preamble': ''' + 'preamble': r''' \usepackage{fontspec} \usepackage{makeidx} \setsansfont{DejaVu Sans} \setromanfont{DejaVu Serif} \setmonofont{DejaVu Sans Mono} -\setlength{\\tymin}{45pt} +\setlength{\tymin}{45pt} % Avoid a torrent of over-full \hbox warnings \usepackage{microtype} |