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 @@

{{ _('Table Of Contents') }}


{{ toc }} {%- endif %} + +
+Index +
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