[trace, doc] removing old tracing option

[simgrid.git] / doc / tracing.doc

diff --git a/doc/tracing.doc b/doc/tracing.doc
index 6c30f7b8c2177df26898a99c1a8d41cd62863b3e..dbf0a3191f08f3a2eb14433d38aabb199ada75ae 100644 (file)
--- a/doc/tracing.doc
+++ b/doc/tracing.doc
@@ -113,11 +113,6 @@ tracing
   Safe switch. It activates (or deactivates) the tracing system.
   No other tracing options take effect if this one is not activated.
 
   Safe switch. It activates (or deactivates) the tracing system.
   No other tracing options take effect if this one is not activated.
 

-\li <b>\c
-tracing/platform
-</b>:
-  Register the simulation platform in the trace file.
-

 \li <b>\c
 tracing/onelink_only
 </b>:
 \li <b>\c
 tracing/onelink_only
 </b>: