From 5bbbd8a5bbc4b969e2da71412f07f9d608047e44 Mon Sep 17 00:00:00 2001 From: Michael Banck Date: Sat, 16 Oct 2021 13:59:27 +0200 Subject: [PATCH] * debian/patches/fix-sphinx-build.patch: Refreshed. --- debian/patches/fix-sphinx-build.patch | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) 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):