diff --git a/docs/index.html b/docs/index.html
new file mode 120000
index 0000000000..75f8c3769f
--- /dev/null
+++ b/docs/index.html
@@ -0,0 +1 @@
+0.9.5/index.html
\ No newline at end of file