diff --git a/doc/website/index.html b/doc/website/deprecated-index.html
similarity index 100%
rename from doc/website/index.html
rename to doc/website/deprecated-index.html
diff --git a/doc/website/index.php b/doc/website/index.php
new file mode 100644
index 000000000..b4a1a9fd7
--- /dev/null
+++ b/doc/website/index.php
@@ -0,0 +1,6 @@
+