[doc] users can also declare variable with colors for the trace

[simgrid.git] / doc / options.doc

diff --git a/doc/options.doc b/doc/options.doc
index 9ff5f6c..7ded23d 100644 (file)
--- 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