Add a Sphinx hook for generating the features file of Pylint's documentation

Currently we can generate this locally using the makefiles, but, unfortunately,
on ReadThedocs we are running only sphinx-build, which means that we have no
pre-generated features.rst file before actually building the documentation.
This commit just adds one, which does the same thing as the makefiles.

1 files changed, 2 insertions, 2 deletions

diff --git a/doc/conf.py b/doc/conf.py
index 8ea88a471..38bb95ce2 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -16,7 +16,7 @@ import sys, os
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the
 # documentation root, use os.path.abspath to make it absolute, like shown here.
-#sys.path.insert(0, os.path.abspath('.'))
+sys.path.append(os.path.abspath('exts'))
 
 # -- General configuration -----------------------------------------------------
 
@@ -25,7 +25,7 @@ import sys, os
 
 # Add any Sphinx extension module names here, as strings. They can be extensions
 # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
-extensions = []
+extensions = ['pylint_features']
 
 # Add any paths that contain templates here, relative to this directory.
 templates_path = ['_templates']