From 4631d03232968ee63b073e47818b3cd4a3647260 Mon Sep 17 00:00:00 2001
From: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Date: Sun, 2 Aug 2020 17:17:16 +0200
Subject: doc: add index to the sidebar

It's very useful to be able to access the index from the sidebar
but no change in the configuration seems to allow this. Trying
to abuse the toctree give the same result.

So, add it directly via the template system.

Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
---
 Documentation/templates/layout.html | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 Documentation/templates/layout.html

diff --git a/Documentation/templates/layout.html b/Documentation/templates/layout.html
new file mode 100644
index 00000000..a2fe215f
--- /dev/null
+++ b/Documentation/templates/layout.html
@@ -0,0 +1,8 @@
+{% extends "!layout.html" %}
+{% block menu %}
+    {{ super() }}
+    <p class="caption"><span class="caption-text">Index</span></p>
+    <ul>
+    <li class="toctree-l1"><a class="reference internal" href="{{ pathto('genindex') }}">Index</a></li>
+    </ul>
+{% endblock %}
-- 
cgit 1.2.3-korg