diff options
author | Nikolaus Rath <Nikolaus@rath.org> | 2015-10-08 12:24:34 -0700 |
---|---|---|
committer | Nikolaus Rath <Nikolaus@rath.org> | 2019-02-14 13:00:32 +0000 |
commit | a59f0584e0206cc5f75ad4d3048f354870557385 (patch) | |
tree | 2c2a90ca89ffdee5f48424811244d6ebd544a981 | |
parent | 7742f0c7f5430a7ce3c812227bed39e814a6b02c (diff) |
Use local intersphinx inventory
Forwarded: not-needed
Last-Update: 2011-07-06
Instead of downloading the Python intersphinx directory
at build time, use the cached copy shipped in debian/.
Patch-Name: use-local-intersphinx-inventory.patch
Gbp-Pq: Name use-local-intersphinx-inventory.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 2290db6..f64251a 100644 --- a/rst/conf.py +++ b/rst/conf.py @@ -27,7 +27,8 @@ extensions = ['sphinx.ext.autodoc', 'sphinx.ext.intersphinx', 'sphinx_cython' ] # Link to Python standard library -intersphinx_mapping = {'python': ('http://docs.python.org/3/', None) } +intersphinx_mapping = {'python': ('http://docs.python.org/3/', + '../debian/python.inv')} # Add any paths that contain templates here, relative to this directory. templates_path = ['_templates'] |