allow cross-linking to official python documentation (for builtins)

tomato42 · tomato42 · commit 0b5abccc9231 · 2020-01-23T19:41:08.000+01:00
diff --git a/docs/conf.py b/docs/conf.py
@@ -31,6 +31,7 @@
 # ones.
 extensions = [
     'sphinx.ext.autodoc',
+    'sphinx.ext.intersphinx',
 ]
 
 # Add any paths that contain templates here, relative to this directory.
@@ -338,3 +339,4 @@
 # If true, do not generate a @detailmenu in the "Top" node's menu.
 #
 # texinfo_no_detailmenu = False
+intersphinx_mapping = {'https://docs.python.org/': None}

Original file line number	Diff line number	Diff line change
`@@ -31,6 +31,7 @@`
`31`	`31`	`# ones.`
`32`	`32`	`extensions = [`
`33`	`33`	`'sphinx.ext.autodoc',`
	`34`	`+ 'sphinx.ext.intersphinx',`
`34`	`35`	`]`
`35`	`36`
`36`	`37`	`# Add any paths that contain templates here, relative to this directory.`
`@@ -338,3 +339,4 @@`
`338`	`339`	`# If true, do not generate a @detailmenu in the "Top" node's menu.`
`339`	`340`	`#`
`340`	`341`	`# texinfo_no_detailmenu = False`
	`342`	`+intersphinx_mapping = {'https://docs.python.org/': None}`