From 1fa07ca90abba64d48a2c2421dbda5911281b40a Mon Sep 17 00:00:00 2001
From: Daniel Hahler <git@thequod.de>
Date: Mon, 24 Feb 2020 15:11:50 +0100
Subject: [PATCH 1/3] docs: generate index

---
 doc/en/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/en/conf.py b/doc/en/conf.py
index 1aa1f6b0a6c..71f63712e11 100644
--- a/doc/en/conf.py
+++ b/doc/en/conf.py
@@ -208,7 +208,7 @@
 html_domain_indices = True
 
 # If false, no index is generated.
-html_use_index = False
+html_use_index = True
 
 # If true, the index is split into individual pages for each letter.
 # html_split_index = False

From 2cac52bd0fa319b3952ff704cfa30f7aa37017ee Mon Sep 17 00:00:00 2001
From: Daniel Hahler <git@thequod.de>
Date: Mon, 24 Feb 2020 15:16:39 +0100
Subject: [PATCH 2/3] docs: add genindex to globaltoc

---
 doc/en/_templates/globaltoc.html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/en/_templates/globaltoc.html b/doc/en/_templates/globaltoc.html
index 30e9da61c2b..4522eb2dec9 100644
--- a/doc/en/_templates/globaltoc.html
+++ b/doc/en/_templates/globaltoc.html
@@ -21,3 +21,7 @@ <h3><a href="{{ pathto(master_doc) }}">{{ _('Table Of Contents') }}</a></h3>
   <hr>
   {{ toc }}
 {%- endif %}
+
+<hr>
+<a href="{{ pathto('genindex') }}">Index</a>
+<hr>

From 98dd51db495a83fdbca0d7554256e96ea63f7ded Mon Sep 17 00:00:00 2001
From: Daniel Hahler <git@thequod.de>
Date: Mon, 24 Feb 2020 16:02:25 +0100
Subject: [PATCH 3/3] rebuild