From 2e0bd365274a92940a32004104d2bf2fa1ec943a Mon Sep 17 00:00:00 2001
From: Lukas Klingsbo <lukas.klingsbo@gmail.com>
Date: Fri, 22 Oct 2021 15:56:50 +0200
Subject: [PATCH] index.html isn't needed in the url (#1041)

---
 doc/_sphinx/scripts/versions.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/_sphinx/scripts/versions.js b/doc/_sphinx/scripts/versions.js
index 78548c808..4694a6840 100644
--- a/doc/_sphinx/scripts/versions.js
+++ b/doc/_sphinx/scripts/versions.js
@@ -24,7 +24,7 @@ function convertVersionsToHtmlLinks(versionsList, currentVersion) {
     if (version === currentVersion) {
       classes += ' selected';
     }
-    out += `<a href="/${version}/index.html"><button class="${classes}">${version}</button></a>`;
+    out += `<a href="/${version}/"><button class="${classes}">${version}</button></a>`;
   }
   return out;
 }