teach the platform upgrading script about the s/:/_/ in the DTD

[simgrid.git] / tools / simgrid_update_xml.pl

diff --git a/tools/simgrid_update_xml.pl b/tools/simgrid_update_xml.pl
index 171bdc2..226d849 100755 (executable)
--- a/tools/simgrid_update_xml.pl
+++ b/tools/simgrid_update_xml.pl
@@ -77,6 +77,8 @@ while (defined($line = <INPUT>)) {
        } else {
            $output_string .=  "$line\n";
        }
+       $line =~ s/\blink:ctn\b/link_ctn/g;
+       $line =~ s/\btrace:connect\b/trace_connect/g;
     }
 }