summaryrefslogtreecommitdiff
path: root/docs/users_guide/conf.py
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2017-07-23 14:13:16 -0400
committerBen Gamari <ben@smart-cactus.org>2017-07-23 15:47:26 -0400
commit2dff2c7fbb5aa68445e617d691451c0427fad0a5 (patch)
tree104e4e6cb9fa87e679700215fe18c3e41a715caa /docs/users_guide/conf.py
parentc9451959d8796ee5458cd0666dd2bc2114ac10d7 (diff)
downloadhaskell-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.py2
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'