make :any: role work with intersphinx!

This commit is contained in:
Georg Brandl
2014-09-19 13:31:55 +02:00
parent e1169d0937
commit a973daea41
3 changed files with 20 additions and 10 deletions

View File

@@ -83,7 +83,7 @@ texinfo_documents = [
# 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)}
intersphinx_mapping = {'python': ('http://docs.python.org/2/', None)}
# Sphinx document translation with sphinx gettext feature uses these settings:
locale_dirs = ['locale/']