diff options
author | Nikolaus Rath <Nikolaus@rath.org> | 2015-10-08 11:58:34 -0700 |
---|---|---|
committer | Nikolaus Rath <Nikolaus@rath.org> | 2019-01-19 15:45:15 +0000 |
commit | 1a79e37a8fcf4ec38a60b3df1b3a885591156816 (patch) | |
tree | daeeed7bba125061c4ba3ecff490832a4f0bb20a | |
parent | 0cf5612098f39a6865f08685b7406dd9cfeac524 (diff) |
Use local intersphinx inventory
Forwarded: not-needed
Last-Update: 2014-03-11
Instead of downloading the Python intersphinx directory
at build time, use the cached copy shipped in debian/.
Patch-Name: use-local-intersphinx.patch
Gbp-Pq: Name use-local-intersphinx.patch
-rw-r--r-- | rst/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rst/conf.py b/rst/conf.py index f312145..851f20c 100644 --- a/rst/conf.py +++ b/rst/conf.py @@ -8,7 +8,8 @@ import os.path sys.path.append(os.path.abspath('..')) extensions = ['sphinx.ext.autodoc', 'sphinx.ext.intersphinx' ] -intersphinx_mapping = {'python': ('http://docs.python.org/3/', None) } +intersphinx_mapping = {'python': ('http://docs.python.org/3/', + '../debian/python.inv')} templates_path = ['_templates'] source_suffix = '.rst' source_encoding = 'utf-8' |