1 diff --git i/Documentation/conf.py w/Documentation/conf.py
2 index 3c7bdf4cd31f..9a0ced58a3e9 100644
3 --- i/Documentation/conf.py
4 +++ w/Documentation/conf.py
5 @@ -36,7 +36,7 @@ needs_sphinx = '1.3'
6 # Add any Sphinx extension module names here, as strings. They can be
7 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
9 -extensions = ['kerneldoc', 'rstFlatTable', 'kernel_include', 'cdomain',
10 +extensions = ['kerneldoc', 'rstFlatTable', 'kernel_include',
11 'kfigure', 'sphinx.ext.ifconfig', 'automarkup',
12 'maintainers_include']