docs: generate index

blueyed · blueyed · commit 1fa07ca90abb · 2020-02-24T15:17:33.000+01:00
diff --git 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
