From c527358794977aa9b891b765fdb07d88d0d42f10 Mon Sep 17 00:00:00 2001 From: David Bremner Date: Fri, 1 Jul 2022 07:52:35 -0300 Subject: [PATCH] doc: do not generate python module index This currently seems unhelpful, and not generating it removes if from the navigation bar, which prevents mis-clicking. --- doc/conf.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/conf.py b/doc/conf.py index b60fefbc..8cb65060 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -67,6 +67,8 @@ pygments_style = 'sphinx' # a list of builtin themes. html_theme = 'default' +# prevent generation of python module index +html_domain_indices=[] # 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,