diff options
author | Ben Gamari <ben@smart-cactus.org> | 2017-07-23 14:13:16 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-07-23 15:47:26 -0400 |
commit | 2dff2c7fbb5aa68445e617d691451c0427fad0a5 (patch) | |
tree | 104e4e6cb9fa87e679700215fe18c3e41a715caa /docs/users_guide/conf.py | |
parent | c9451959d8796ee5458cd0666dd2bc2114ac10d7 (diff) | |
download | haskell-2dff2c7fbb5aa68445e617d691451c0427fad0a5.tar.gz |
Fix more documentation wibbles
Fixes #14020, #14016, #14015, #14019
Diffstat (limited to 'docs/users_guide/conf.py')
-rw-r--r-- | docs/users_guide/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py index 12ecee9beb..3af6ac109e 100644 --- a/docs/users_guide/conf.py +++ b/docs/users_guide/conf.py @@ -12,7 +12,7 @@ import os sys.path.insert(0, os.path.abspath('.')) from ghc_config import extlinks, version -extensions = ['sphinx.ext.extlinks'] +extensions = ['sphinx.ext.extlinks', 'sphinx.ext.mathjax'] templates_path = ['.templates'] source_suffix = '.rst' |