diff --git a/debian/patches/fix-sphinx-build.patch b/debian/patches/fix-sphinx-build.patch index 975fb79..6433213 100644 --- a/debian/patches/fix-sphinx-build.patch +++ b/debian/patches/fix-sphinx-build.patch @@ -1,8 +1,8 @@ -diff --git a/docs/conf.py b/docs/conf.py -index 20fa354..ae19400 100644 ---- a/docs/conf.py -+++ b/docs/conf.py -@@ -194,4 +194,7 @@ intersphinx_mapping = {'https://docs.python.org/': None} +Index: patroni/docs/conf.py +=================================================================== +--- patroni.orig/docs/conf.py ++++ patroni/docs/conf.py +@@ -204,4 +204,7 @@ intersphinx_mapping.update(check_object_ # 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 def setup(app):