From: Ghislain Antony Vaillant <ghisvail@gmail.com>
Date: Tue, 18 Apr 2017 11:03:42 +0100
Subject: Use packaged docs

---
 doc/conf.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/conf.py b/doc/conf.py
index 8bed92c..aab1572 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -262,4 +262,6 @@ texinfo_documents = [
 
 
 # Example configuration for intersphinx: refer to the Python standard library.
-intersphinx_mapping = {'http://docs.python.org/2/': None}
+intersphinx_mapping = {
+    'https://docs.python.org/3/': '/usr/share/doc/python3/html/objects.inv'
+}