Add the faq page to tabs.

[simgrid.git] / tools / simgrid_update_xml.pl

diff --git a/tools/simgrid_update_xml.pl b/tools/simgrid_update_xml.pl
index 0547ad9..16d4bc7 100755 (executable)
--- a/tools/simgrid_update_xml.pl
+++ b/tools/simgrid_update_xml.pl
@@ -20,7 +20,7 @@ $ARGV[0] or die "simgrid_update_xml.pl <platform.xml>\n";
 open INPUT, "$ARGV[0]" or die "Cannot open input file $ARGV[0]: $!\n";
 
 $output_string = "<?xml version='1.0'?>\n".
-    "<!DOCTYPE platform SYSTEM \"simgrid.dtd\">\n".
+    "<!DOCTYPE platform SYSTEM \"http://simgrid.gforge.inria.fr/simgrid.dtd\">\n".
     "<platform version=\"$toversion\">\n";
 
 
@@ -92,7 +92,8 @@ while (defined($line = <INPUT>)) {
            $AS_opened=1;
        }
     }
-
+       
+       if($line=~/<route /){$line =~ s/\<route/\<route symmetrical=\"NO\"/g;}
     $output_string .= "$line\n";
 }