From bac023bb1c1ebfc6909be7f4c1fd4927949eda1c Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 28 Mar 2012 16:56:31 +0200
Subject: [PATCH] Backslashes should be doubled in C strings.

Fix xbt_log_extract_hierarchy accordingly.
---
 src/gras/gras.c                            | 2 +-
 tools/doxygen/xbt_log_extract_hierarchy.pl | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/gras/gras.c b/src/gras/gras.c
index 994ab25f20..b0a652dfdb 100644
--- a/src/gras/gras.c
+++ b/src/gras/gras.c
@@ -26,7 +26,7 @@
 #include "portable.h"           /* hexa_*(); signalling stuff */
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(gras,
-                             "All GRAS categories (cf. section \ref GRAS_API)");
+                             "All GRAS categories (cf. section \\ref GRAS_API)");
 static int gras_running_process = 0;
 #if defined(HAVE_SIGNAL) && defined(HAVE_SIGNAL_H)
 static void gras_sigusr_handler(int sig)
diff --git a/tools/doxygen/xbt_log_extract_hierarchy.pl b/tools/doxygen/xbt_log_extract_hierarchy.pl
index 7b545500da..f61b020ed3 100755
--- a/tools/doxygen/xbt_log_extract_hierarchy.pl
+++ b/tools/doxygen/xbt_log_extract_hierarchy.pl
@@ -40,6 +40,7 @@ sub cleanup_ctn {
     } else {
 	die "Unparsable content: $ctn\n";
     }
+    $elms[2] =~ s/\\\\/\\/gs;
     return @elms;
 }
 
-- 
2.20.1