summarylogtreecommitdiffstats
path: root/sphinx-workaround.patch
diff options
context:
space:
mode:
Diffstat (limited to 'sphinx-workaround.patch')
-rw-r--r--sphinx-workaround.patch10
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 ¯\_(ツ)_/¯
-
-source: https://bugs.archlinux.org/task/66156#comment188161
-upstream issue: https://github.com/sphinx-doc/sphinx/issues/7421
-
-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/conf.py w/Documentation/conf.py
index 3c7bdf4cd31f..9a0ced58a3e9 100644
--- i/Documentation/conf.py