From: =?utf-8?q?H=C3=A5vard_Flaget_Aasen?= <haavard_aasen@yahoo.no>
Date: Mon, 28 Dec 2020 18:58:42 +0100
Subject: drop intersphinx

Forwarded: not-needed
---
 doc/conf.py | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/doc/conf.py b/doc/conf.py
index ce85f75..a332244 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -25,8 +25,7 @@ import sys, os
 
 # Add any Sphinx extension module names here, as strings. They can be extensions
 # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
-extensions = ['sphinx.ext.intersphinx',
-              'sphinx.ext.todo',
+extensions = ['sphinx.ext.todo',
               'sphinx.ext.coverage',
               'sphinx.ext.inheritance_diagram'
               ]
@@ -250,4 +249,4 @@ texinfo_documents = [
 
 
 # Example configuration for intersphinx: refer to the Python standard library.
-intersphinx_mapping = {'http://docs.python.org/': "python.inv"}
+#intersphinx_mapping = {'http://docs.python.org/': "python.inv"}