diff options
Diffstat (limited to 'docs/users_guide/conf.py')
| -rw-r--r-- | docs/users_guide/conf.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py index 41b446a47d..4d4704a769 100644 --- a/docs/users_guide/conf.py +++ b/docs/users_guide/conf.py @@ -13,7 +13,11 @@ sys.path.insert(0, os.path.abspath('.')) from ghc_config import extlinks, version import ghc_config -extensions = ['sphinx.ext.extlinks', 'sphinx.ext.mathjax', 'flags'] +extensions = ['sphinx.ext.extlinks', + 'sphinx.ext.mathjax', + # GHC-specific extensions + 'flags', + 'ghc_packages'] templates_path = ['.templates'] source_suffix = '.rst' |