From d9f4987b591951655ce0832d4b5bd13db75123a4 Mon Sep 17 00:00:00 2001
From: Houtan Bastani <houtan@dynare.org>
Date: Fri, 29 Nov 2019 16:26:39 +0100
Subject: [PATCH] doc: add index to html sidebar

closes #1669
---
 doc/manual/source/_templates/navigation.html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/manual/source/_templates/navigation.html b/doc/manual/source/_templates/navigation.html
index 93a8f5010..06f8a6882 100644
--- 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>