diff options
author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-05-22 01:42:51 +0200 |
---|---|---|
committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-05-22 03:10:10 +0200 |
commit | 7b43a753e346a0f16bef2b4db2ed71bac0ae25de (patch) | |
tree | e77b295f3af9dc4e3ca20c9a1660a431813adec4 /libre/linux-libre-64/sphinx-workaround.patch | |
parent | 1e6f86bfa9322e7a6fe71e248934aadcb25c4441 (diff) | |
download | abslibre-7b43a753e346a0f16bef2b4db2ed71bac0ae25de.tar.gz abslibre-7b43a753e346a0f16bef2b4db2ed71bac0ae25de.tar.bz2 abslibre-7b43a753e346a0f16bef2b4db2ed71bac0ae25de.zip |
libre: add linux-libre-64 to replace archtecture specific versions
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Diffstat (limited to 'libre/linux-libre-64/sphinx-workaround.patch')
-rw-r--r-- | libre/linux-libre-64/sphinx-workaround.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/libre/linux-libre-64/sphinx-workaround.patch b/libre/linux-libre-64/sphinx-workaround.patch new file mode 100644 index 000000000..1aa3f1c8f --- /dev/null +++ b/libre/linux-libre-64/sphinx-workaround.patch @@ -0,0 +1,13 @@ +diff --git i/Documentation/conf.py w/Documentation/conf.py +index 3c7bdf4cd31f..9a0ced58a3e9 100644 +--- i/Documentation/conf.py ++++ w/Documentation/conf.py +@@ -36,7 +36,7 @@ needs_sphinx = '1.3' + # Add any Sphinx extension module names here, as strings. They can be + # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom + # ones. +-extensions = ['kerneldoc', 'rstFlatTable', 'kernel_include', 'cdomain', ++extensions = ['kerneldoc', 'rstFlatTable', 'kernel_include', + 'kfigure', 'sphinx.ext.ifconfig', 'automarkup', + 'maintainers_include'] + |