doc: add index to html sidebar

closes #1669
2019-11-29 16:26:39 +01:00 · 2019-11-29 16:26:39 +01:00 · d9f4987b59
parent f2205ed4a1
commit d9f4987b59
1 changed files with 4 additions and 0 deletions
--- a/doc/manual/source/_templates/navigation.html
+++ b/doc/manual/source/_templates/navigation.html
@ -9,3 +9,7 @@
    {% endfor %}
 </ul>
 {% endif %}
+<hr />
+<ul>
+    <li class="toctree-l1"><a href="{{pathto('genindex.html', 1)}}">Index</a></li>
+</ul>