*** empty log message ***

diff --git a/doc/index.php b/doc/index.php
new file mode 100644 (file)
index 0000000..763940a
--- /dev/null
+++ b/doc/index.php
@@ -0,0 +1,3 @@
+<?php
+header("Location: ../index.php");
+?>

diff --git a/tmp/index.php b/tmp/index.php
new file mode 100644 (file)
index 0000000..763940a
--- /dev/null
+++ b/tmp/index.php
@@ -0,0 +1,3 @@
+<?php
+header("Location: ../index.php");
+?>