diff options
| author | David Bremner <david@tethera.net> | 2022-07-01 07:52:35 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2022-07-14 16:31:11 -0400 |
| commit | c527358794977aa9b891b765fdb07d88d0d42f10 (patch) | |
| tree | 678b0b6b6bd3c6b545f4dfa452ef59b4bab2a969 | |
| parent | 9003394f5cffb8e81f6e2abdbed78ac0fa56c365 (diff) | |
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.
| -rw-r--r-- | doc/conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
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, |