Extended config options

This commit is contained in:
Remy Marquis 2020-05-05 18:24:58 +02:00
parent d1874a78bf
commit db8c72f01d

View file

@ -27,6 +27,9 @@ release = '2.76'
# -- General configuration --------------------------------------------------- # -- General configuration ---------------------------------------------------
# The master toctree document.
master_doc = 'index'
# Add any Sphinx extension module names here, as strings. They can be # Add any Sphinx extension module names here, as strings. They can be
# extensions coming with Sphinx (named 'sphinx.ext.*') or your custom # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
# ones. # ones.
@ -56,6 +59,8 @@ html_theme = 'sphinx_rtd_theme'
# so a file named "default.css" will overwrite the builtin "default.css". # so a file named "default.css" will overwrite the builtin "default.css".
html_static_path = ['_static'] html_static_path = ['_static']
# The name of the Pygments (syntax highlighting) style to use.
pygments_style = 'sphinx'
# -- Extension configuration ------------------------------------------------- # -- Extension configuration -------------------------------------------------