summaryrefslogtreecommitdiffstats
path: root/debian/patches/intersphinx_local.diff
blob: 1eff330af485db13c5a2a744f8e438c8df863ac4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
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 416158f..a262354 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -117,9 +117,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 e16abdf..1c4e3c6 100644
--- a/doc/tutorial/deploying.rst
+++ b/doc/tutorial/deploying.rst
@@ -160,13 +160,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:Sign up for Read the Docs`.
+`Sign up for Read the Docs`_.
 If you choose GitLab instead, the process is similar.
 
+.. _the RTD tutorial: https://docs.readthedocs.io/en/stable/tutorial/index.html
+.. _Sign up for Read the Docs: https://docs.readthedocs.io/en/stable/tutorial/index.html#sign-up-for-read-the-docs
+
 GitHub Pages
 ~~~~~~~~~~~~