[DOC] Clarify PAPI counters + privileges

[simgrid.git] / doc / msg-tuto-src / deployment0.xml

diff --git a/doc/msg-tuto-src/deployment0.xml b/doc/msg-tuto-src/deployment0.xml
index 6d7bae7db8c74680f80d5a72df3572ec59d39bb9..4746b97a3e1be39857477e162497468f8b5b89eb 100644 (file)
--- a/doc/msg-tuto-src/deployment0.xml
+++ b/doc/msg-tuto-src/deployment0.xml
@@ -1,6 +1,6 @@
 <?xml version='1.0'?>
-<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
-<platform version="3">
+<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd">
+<platform version="4">
   <!-- The master process (with some arguments) -->
   <process host="Tremblay" function="master">
      <argument value="20"/>       <!-- Number of tasks -->