diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2024-01-04 23:08:36 +0100 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2024-01-07 13:26:44 +0100 |
commit | 3f9b43dcf4975dfc4464d1f0c6053f493018d5bd (patch) | |
tree | 4255204a751be7a5e42562c7cd0c250d915173ec | |
parent | 3ddf02ddcb9f04a92b272383a252a8fe350663ab (diff) | |
download | sparse-dev-3f9b43dcf4975dfc4464d1f0c6053f493018d5bd.tar.gz |
doc: update conf.py for more recent version of sphinx
Sphinx versions older than 1.7 don't need and don't support 'html_context'.
So, set 1.8 as the minimal version and remove 'html_context' from the config.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r-- | Documentation/conf.py | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index affa9073..b696f671 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -21,7 +21,7 @@ import datetime # -- General configuration ------------------------------------------------ -needs_sphinx = '1.7' +needs_sphinx = '1.8' # Add any Sphinx extension module names here, as strings. They can be # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom @@ -115,12 +115,6 @@ except: # so a file named "default.css" will overwrite the builtin "default.css". html_static_path = ['sphinx/static'] -html_context = { - 'css_files': [ - '_static/theme_overrides.css', - ], -} - # Custom sidebar templates, must be a dictionary that maps document names # to template names. # |