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 @@ +