From f63f0017409f13b480f535e07be54671f2a15048 Mon Sep 17 00:00:00 2001
From: Ghislain Antony Vaillant <ghisvail@gmail.com>
Date: Mon, 11 Jul 2016 15:12:19 +0100
Subject: Make intersphinx link with system documentation

---
 docs/source/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index e6196af..d6a0986 100644
--- 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'}
