path: root/sphinx-workaround.patch
diff options
Diffstat (limited to 'sphinx-workaround.patch')
1 files changed, 0 insertions, 10 deletions
diff --git a/sphinx-workaround.patch b/sphinx-workaround.patch
index 44265cdb3f0..1aa3f1c8f66 100644
--- a/sphinx-workaround.patch
+++ b/sphinx-workaround.patch
@@ -1,13 +1,3 @@
-`make htmldocs` is broken again and this is a temporary fix for that. the html
-docs may be malformed but at least it builds without error ¯\_(ツ)_/¯
-upstream issue:
-this should be removed once the issue is resolved. note that there will be a lot
-more errors/warnings than usual due to ripping such an integral part out of
-the docs parser.
diff --git i/Documentation/ w/Documentation/
index 3c7bdf4cd31f..9a0ced58a3e9 100644
--- i/Documentation/