diff options
| -rw-r--r-- | Documentation/conf.py | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index 70b189a7f3..6e2da1e8af 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -55,7 +55,7 @@ else: # # This is also used if you do content translation via gettext catalogs. # Usually you set "language" from the command line for these cases. -language = None +language = 'en' # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. @@ -87,11 +87,9 @@ html_theme = 'sphinx_rtd_theme' # so a file named "default.css" will overwrite the builtin "default.css". html_static_path = ['_static'] -html_context = { - 'css_files': [ - '_static/theme_overrides.css', # override wide tables in RTD theme - ], -} +html_css_files = [ + 'theme_overrides.css', # override wide tables in RTD theme +] # Output file base name for HTML help builder. htmlhelp_basename = 'corebootdoc' |