docs: add genindex to globaltoc

blueyed · blueyed · commit 4b3ec4e6873e · 2020-02-24T15:16:39.000+01:00
diff --git 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>
