5 # Skip the line " * Generated 2018/10/15 12:32:06." (Reproducible Builds)
6 next if (m#^ \* Generated [0-9/]* [0-9:]*#);
8 # Informative error message for files using a very old DTD
9 s#"Bad declaration %s."#"Bad declaration %s.\\nIf your are using a XML v3 file (check the version attribute in <platform>), please update it with tools/simgrid_update_xml.pl"#;
11 # Accept the alternative DTD location
12 if (/DOCTYPE.*simgrid.org.simgrid.dtd/) {
13 print ' "<!DOCTYPE"{S}"platform"{S}SYSTEM{S}("\'http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd\'"|"\\"http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd\\""){s}">" SET(ROOT_surfxml_platform);'."\n";
16 # Actually outputs the resulting line