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.

diff --git a/doc/conf.py b/doc/conf.py
index b60fefbc32a533cd44ed6c5c0d467684fb4b8597..8cb650605dbab3f72e933a4b45d67b2589ca7768 100644 (file)
--- 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,