From: Ghislain Antony Vaillant <ghisvail@gmail.com>
Last-Update: 2016-07-11
Subject: Make intersphinx link with system documentation
Forwarded: not-needed

--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -310,4 +310,4 @@ texinfo_documents = [
 
 
 # Example configuration for intersphinx: refer to the Python standard library.
-intersphinx_mapping = {'https://docs.python.org/': None}
+intersphinx_mapping = {'https://docs.python.org/': '/usr/share/doc/python3/html/objects.inv'}