diff options
Diffstat (limited to 'sphinx-workaround.patch')
-rw-r--r-- | sphinx-workaround.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/sphinx-workaround.patch b/sphinx-workaround.patch new file mode 100644 index 000000000000..b9907cee65ac --- /dev/null +++ b/sphinx-workaround.patch @@ -0,0 +1,14 @@ +diff --git i/Documentation/conf.py w/Documentation/conf.py +index 3c7bdf4cd31f..9a0ced58a3e9 100644 +--- i/Documentation/conf.py ++++ w/Documentation/conf.py +@@ -34,7 +34,7 @@ + # 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', 'kfigure'] ++extensions = ['kerneldoc', 'rstFlatTable', 'kernel_include', 'kfigure'] + + + # The name of the math extension changed on Sphinx 1.4 + if (major == 1 and minor > 3) or (major > 1): |