diff options
Diffstat (limited to 'libre/linux-libre-pae/sphinx-workaround.patch')
-rw-r--r-- | libre/linux-libre-pae/sphinx-workaround.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/libre/linux-libre-pae/sphinx-workaround.patch b/libre/linux-libre-pae/sphinx-workaround.patch new file mode 100644 index 000000000..1aa3f1c8f --- /dev/null +++ b/libre/linux-libre-pae/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'] + |