[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.
 
-\li <b>\c
-tracing/platform
-</b>:
-  Register the simulation platform in the trace file.
-
 \li <b>\c
 tracing/onelink_only
 </b>: