From 1d880e5102b4a21f624d357bb5ec6fb8feb35351 Mon Sep 17 00:00:00 2001
From: Griatch <griatch@gmail.com>
Date: Sat, 14 Nov 2020 19:15:24 +0100
Subject: [PATCH] Customize index set

---
 docs/deploy.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/deploy.sh b/docs/deploy.sh
index e88f8b56a1..61bec80c78 100644
--- a/docs/deploy.sh
+++ b/docs/deploy.sh
@@ -21,6 +21,7 @@ ls -Q | grep -v build | xargs rm -Rf
 cp -Rf build/html/* .
 # TODO automate this? 
 ln -s 0.9.5 latest
+ln -s 0.9.5/index.html .
 
 # docs/build is in .gitignore so will not be included
 git add .