doc: Add index into the sidebar.

Signed-off-by: Tommi Virtanen <tommi.virtanen@dreamhost.com>

diff --git a/doc/_templates/smarttoc.html b/doc/_templates/smarttoc.html
index eb7444afae6bf165291be58c7c1936f7ef5888be..8967e7f886881fae539fc8f9685ceb0d84e0d866 100644 (file)
--- a/doc/_templates/smarttoc.html
+++ b/doc/_templates/smarttoc.html
@@ -11,3 +11,6 @@
 #}
 <h3><a href="{{ pathto(master_doc) }}">{{ _('Table Of Contents') }}</a></h3>
 {{ toctree(maxdepth=-1) }}
+
+<!-- ugly kludge to make genindex look like it's part of the toc -->
+<ul style="margin-top: -10px"><li class="toctree-l1"><a class="reference internal" href="{{ pathto('genindex') }}">Index</a></li></ul>