--- a/install/index.php Sat May 03 20:36:31 2008 +0000+++ b/install/index.php Sat May 03 21:16:50 2008 +0000@@ -1,5 +1,7 @@ <?php+$local_config_file = "../inc/config.inc.php";+ echo "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Transitional//EN\">\n"; echo "<html>\n"; echo " <head>\n";