From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 26 Dec 2011 00:30:44 +0000 (+0100)
Subject: placeholder for the configuration items related to the tracing subsystem
X-Git-Tag: exp_20120216~218
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2885a82f962b6f72f3a3e334ddbf1cf65ec696a0?ds=sidebyside

placeholder for the configuration items related to the tracing subsystem
---

diff --git a/doc/options.doc b/doc/options.doc
index 9ff5f6c32d..7ded23d5e7 100644
--- a/doc/options.doc
+++ b/doc/options.doc
@@ -339,6 +339,10 @@ which value is either:
    machine for no good reason. You probably prefer the other less
    eager schemas.
 
+\section options_tracing Configuring the tracing subsystem
+
+(TODO)
+
 \section options_smpi Configuring SMPI
 
 The SMPI interface provides several specific configuration items.
@@ -377,8 +381,6 @@ when the simulation ends. If you set the \b smpi/display_timing item
 to 1, \c smpirun will display this information when the simulation ends. \verbatim
 Simulation time: 1e3 seconds.
 \endverbatim
-    
-
 
 \section options_generic Configuring other aspects of SimGrid