added index.php to release documentation
diff --git a/documentation/release/index.php b/documentation/release/index.php
new file mode 100644
index 0000000..c967886
--- /dev/null
+++ b/documentation/release/index.php
@@ -0,0 +1,6 @@
+<?php
+header("HTTP/1.1 303 See other");
+header("Location: introduction.html");
+exit();
+?>
+