From c527358794977aa9b891b765fdb07d88d0d42f10 Mon Sep 17 00:00:00 2001
From: David Bremner <david@tethera.net>
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,
-- 
2.45.2