From: Dmitry Shachnev <mitya57@debian.org>
Date: Tue, 2 Jun 2020 12:22:52 +0300
Subject: Use local intersphinx inventory

To prevent Sphinx from downloading https://docs.python.org/3/objects.inv
during build.
---
 doc/conf.py                | 5 ++---
 doc/tutorial/deploying.rst | 9 ++++++---
 2 files changed, 8 insertions(+), 6 deletions(-)

diff --git a/doc/conf.py b/doc/conf.py
index 96f6d37..b79c64f 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -167,9 +167,8 @@ texinfo_documents = [
 ]
 
 intersphinx_mapping = {
-    'python': ('https://docs.python.org/3/', None),
-    'requests': ('https://requests.readthedocs.io/en/latest/', None),
-    'readthedocs': ('https://docs.readthedocs.io/en/stable', None),
+    'python': ('/usr/share/doc/python3-doc/html', None),
+    'requests': ('/usr/share/doc/python-requests-doc/html', None),
 }
 
 # Sphinx document translation with sphinx gettext feature uses these settings:
diff --git a/doc/tutorial/deploying.rst b/doc/tutorial/deploying.rst
index c950d37..5000218 100644
--- a/doc/tutorial/deploying.rst
+++ b/doc/tutorial/deploying.rst
@@ -155,13 +155,16 @@ Read the Docs
 ~~~~~~~~~~~~~
 
 `Read the Docs`_ offers integration with both GitHub and GitLab. The quickest
-way of getting started is to follow :doc:`the RTD
-tutorial <readthedocs:tutorial/index>`, which is loosely based on this one.
+way of getting started is to follow `the RTD tutorial`_, which is loosely
+based on this one.
 You can publish your sources on GitHub as explained :ref:`in the previous
 section <publishing-sources>`, then skip directly to
-:ref:`readthedocs:tutorial/index:Creating a Read the Docs account`.
+`Creating a Read the Docs account`_.
 If you choose GitLab instead, the process is similar.
 
+.. _the RTD tutorial: https://docs.readthedocs.io/en/stable/tutorial/index.html
+.. _Creating a Read the Docs account: https://docs.readthedocs.io/en/stable/tutorial/index.html#creating-a-read-the-docs-account
+
 GitHub Pages
 ~~~~~~~~~~~~
 
