diff options
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/conf.py b/doc/conf.py index 21e8d2f5..b3a1cda7 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -8,8 +8,6 @@ import sphinx extensions = ['sphinx.ext.autodoc', 'sphinx.ext.doctest', 'sphinx.ext.todo', 'sphinx.ext.autosummary', 'sphinx.ext.extlinks'] -#intersphinx_mapping = {'python': ('http://docs.python.org/dev', None)} - master_doc = 'contents' templates_path = ['_templates'] exclude_patterns = ['_build'] @@ -66,6 +64,10 @@ man_pages = [ 'template generator', '', 1), ] +# We're not using intersphinx right now, but if we did, this would be part of +# the mapping: +intersphinx_mapping = {'python': ('http://docs.python.org/dev', None)} + # -- Extension interface ------------------------------------------------------- |