rename surfxml.dtd into simgrid.dtd

[simgrid.git] / doc / gtut-files / gtut-platform.xml

diff --git a/doc/gtut-files/gtut-platform.xml b/doc/gtut-files/gtut-platform.xml
index 2271f76..29f723e 100644 (file)
--- a/doc/gtut-files/gtut-platform.xml
+++ b/doc/gtut-files/gtut-platform.xml
@@ -1,5 +1,5 @@
 <?xml version='1.0'?>
-<!DOCTYPE platform_description SYSTEM "surfxml.dtd">
+<!DOCTYPE platform SYSTEM "simgrid.dtd">
 <platform version="2">
   <host id="Jacquelin" power="137333000"/>
   <host id="Boivin" power="98095000"/>