diff options
Diffstat (limited to 'sphinx-workaround.patch')
| -rw-r--r-- | sphinx-workaround.patch | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/sphinx-workaround.patch b/sphinx-workaround.patch index 44265cdb3f04..1aa3f1c8f66e 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 |