From 378560eab44be87c0595bbd91c7a817f55f6d3c6 Mon Sep 17 00:00:00 2001 From: jc_gargma Date: Mon, 8 Mar 2021 12:45:35 -0800 Subject: Updated to 5.11.4 --- sphinx-workaround.patch | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 sphinx-workaround.patch (limited to 'sphinx-workaround.patch') diff --git a/sphinx-workaround.patch b/sphinx-workaround.patch deleted file mode 100644 index a6e2c49..0000000 --- a/sphinx-workaround.patch +++ /dev/null @@ -1,19 +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', -+] - - # Add any extra paths that contain custom files (such as robots.txt or - # .htaccess) here, relative to this directory. These files are copied -- cgit v1.2.1