add readme, remove old sphinx patch

1 files changed, 0 insertions, 19 deletions

diff --git a/sphinx-workaround.patch b/sphinx-workaround.patch
deleted file mode 100644
index a6e2c4900290..000000000000
--- 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