File: 0001-Use-local-intersphinx-mappings.patch

package info (click to toggle)
pytest 8.4.2-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 7,996 kB
  • sloc: python: 62,860; makefile: 45
file content (35 lines) | stat: -rw-r--r-- 1,679 bytes parent folder | download
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
From: Sebastian Ramacher <sramacher@debian.org>
Date: Thu, 14 Jul 2016 23:01:01 +0200
Subject: Use local intersphinx mappings

Forwarded: not-needed
---
 doc/en/conf.py | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/doc/en/conf.py b/doc/en/conf.py
index c89e14d..a4b1b86 100644
--- a/doc/en/conf.py
+++ b/doc/en/conf.py
@@ -122,14 +122,17 @@ autodoc_typehints_description_target = "documented"
 # -- Options for intersphinx ----------------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/extensions/intersphinx.html#configuration
 
+def use_if_available(path):
+    return path if os.path.isfile(path) else None
+
 intersphinx_mapping = {
-    "pluggy": ("https://pluggy.readthedocs.io/en/stable", None),
-    "python": ("https://docs.python.org/3", None),
-    "numpy": ("https://numpy.org/doc/stable", None),
+    "pluggy": ("https://pluggy.readthedocs.io/en/stable", use_if_available("/usr/share/doc/python-pluggy/html/objects.inv")),
+    "python": ("https://docs.python.org/3", use_if_available("/usr/share/doc/python3/html/objects.inv")),
+    "numpy": ("https://numpy.org/doc/stable", use_if_available("/usr/share/doc/python-numpy/html/objects.inv")),
     "pip": ("https://pip.pypa.io/en/stable", None),
     "tox": ("https://tox.wiki/en/stable", None),
     "virtualenv": ("https://virtualenv.pypa.io/en/stable", None),
-    "setuptools": ("https://setuptools.pypa.io/en/stable", None),
+    "setuptools": ("https://setuptools.pypa.io/en/stable", use_if_available("/usr/share/doc/python-setuptools-doc/html/objects.inv")),
     "packaging": ("https://packaging.python.org/en/latest", None),
 }