From db8c72f01d9a42660c05170b344823140c758854 Mon Sep 17 00:00:00 2001 From: Remy Marquis Date: Tue, 5 May 2020 18:24:58 +0200 Subject: [PATCH] Extended config options --- conf.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/conf.py b/conf.py index 072bccb..e36175a 100644 --- a/conf.py +++ b/conf.py @@ -27,6 +27,9 @@ release = '2.76' # -- General configuration --------------------------------------------------- +# The master toctree document. +master_doc = 'index' + # Add any Sphinx extension module names here, as strings. They can be # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom # ones. @@ -56,6 +59,8 @@ html_theme = 'sphinx_rtd_theme' # so a file named "default.css" will overwrite the builtin "default.css". html_static_path = ['_static'] +# The name of the Pygments (syntax highlighting) style to use. +pygments_style = 'sphinx' # -- Extension configuration -------------------------------------------------