[trace, doc] removing old tracing option

diff --git a/doc/tracing.doc b/doc/tracing.doc
index 6c30f7b..dbf0a31 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>: