changes applied to the install page

ide

@@ -1 +0,0 @@
-docs/ide/

ide/index.php

@@ -0,0 +1,2 @@
+<?php
+    header('location: ../docs/ide');

install/index.php

@@ -0,0 +1,2 @@
+<?php
+    header('location:../setup.php');