diff options
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' |