summarylogtreecommitdiffstats
path: root/sphinx-workaround.patch
diff options
context:
space:
mode:
Diffstat (limited to 'sphinx-workaround.patch')
-rw-r--r--sphinx-workaround.patch16
1 files changed, 0 insertions, 16 deletions
diff --git a/sphinx-workaround.patch b/sphinx-workaround.patch
deleted file mode 100644
index 788514eff20..00000000000
--- a/sphinx-workaround.patch
+++ /dev/null
@@ -1,16 +0,0 @@
-diff --git i/Documentation/conf.py w/Documentation/conf.py
-index 6a767294887e..d1d145759fed 100644
---- i/Documentation/conf.py
-+++ w/Documentation/conf.py
-@@ -267,11 +267,9 @@ except ImportError:
-
- html_static_path = ['sphinx-static']
-
--html_context = {
-- 'css_files': [
-- '_static/theme_overrides.css',
-- ],
--}
-+html_css_files = [
-+ '_static/theme_overrides.css',
-+]