diff options
Diffstat (limited to 'python/docs/conf.py')
-rw-r--r-- | python/docs/conf.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/python/docs/conf.py b/python/docs/conf.py index 163987dd8e..365d6af514 100644 --- a/python/docs/conf.py +++ b/python/docs/conf.py @@ -23,7 +23,7 @@ sys.path.insert(0, os.path.abspath('.')) # -- General configuration ------------------------------------------------ # If your documentation needs a minimal Sphinx version, state it here. -#needs_sphinx = '1.0' +needs_sphinx = '1.2' # Add any Sphinx extension module names here, as strings. They can be # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom @@ -135,7 +135,7 @@ html_logo = "../../docs/img/spark-logo-hd.png" # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files, # so a file named "default.css" will overwrite the builtin "default.css". -#html_static_path = ['_static'] +html_static_path = ['_static'] # Add any extra paths that contain custom files (such as robots.txt or # .htaccess) here, relative to this directory. These files are copied |