install/index.php
changeset 149 0f9739c8db48
parent 146 0756319df2d0
child 150 59c42a716f95
--- 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";