Index: branches/dev/html/install/index.php
===================================================================
--- branches/dev/html/install/index.php	(revision 12192)
+++ branches/dev/html/install/index.php	(revision 12307)
@@ -791,5 +791,5 @@
 	$url_dir = ereg_replace("^https?://[a-zA-Z0-9_~=&\?\.\-]+", "", $normal_url);
 	
-	$data_path = $root_dir . HTML2DATA_DIR;
+	$data_path = sfRmDupSlash($root_dir . HTML2DATA_DIR);
 	$filepath = $data_path . "install.php";