From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 26 Jun 2012 17:15:09 +0000 (+0200)
Subject: Remove obsolete command line arguments from help.
X-Git-Tag: v3_8~448
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/35362c49665ddcaf7e6b9dbe0b40b341d4931112

Remove obsolete command line arguments from help.
---

diff --git a/src/xbt/log.c b/src/xbt/log.c
index a5b33d8ac0..cb2fd79a45 100644
--- a/src/xbt/log.c
+++ b/src/xbt/log.c
@@ -287,10 +287,6 @@ manually. A more conventional way is to use the --log command line
 argument. xbt_init() (called by MSG_init(), gras_init() and friends)
 checks and deals properly with such arguments.
 
-The following command line arguments exist, but are deprecated and
-may disappear in the future: --xbt-log, --gras-log, --msg-log and
---surf-log.
-
 \subsection log_use_conf_thres 3.1.1 Threshold configuration
 
 The most common setting is to control which logging event will get