2020-10-02 19:33:54 +02:00
|
|
|
Index: patroni/docs/conf.py
|
|
|
|
===================================================================
|
|
|
|
--- patroni.orig/docs/conf.py
|
|
|
|
+++ patroni/docs/conf.py
|
|
|
|
@@ -189,7 +189,17 @@ epub_exclude_files = ['search.html']
|
2020-01-23 18:19:30 +01:00
|
|
|
|
|
|
|
|
|
|
|
# Example configuration for intersphinx: refer to the Python standard library.
|
|
|
|
-intersphinx_mapping = {'https://docs.python.org/': None}
|
|
|
|
+def check_object_path(key, url, path):
|
|
|
|
+ if os.path.isfile(path):
|
|
|
|
+ return {key: (url, path)}
|
|
|
|
+ return {}
|
|
|
|
+
|
|
|
|
+intersphinx_mapping = {}
|
|
|
|
+intersphinx_mapping.update(check_object_path('python',
|
|
|
|
+ 'http://docs.python.org/',
|
|
|
|
+ '/usr/share/doc/python'
|
|
|
|
+ + '.'.join([str(x) for x in sys.version_info[0:2]])
|
|
|
|
+ + '/html/objects.inv'))
|
|
|
|
|
|
|
|
# A possibility to have an own stylesheet, to add new rules or override existing ones
|
|
|
|
# For the latter case, the CSS specificity of the rules should be higher than the default ones
|