From 26b2eb56a02443b0e05fd38d7dc3d32c5ab5fc6c 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 0815e06885..d2f11022ba 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 .