From ca379f08141cfef572081e0e5e45452f518f596a Mon Sep 17 00:00:00 2001
From: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
Date: Wed, 29 Aug 2007 16:43:19 +0200
Subject: [PATCH] reference the proper trace source list group

---
 src/core/tracing.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/core/tracing.h b/src/core/tracing.h
index ca017a55e..0612b144e 100644
--- a/src/core/tracing.h
+++ b/src/core/tracing.h
@@ -1,3 +1,7 @@
+/**
+ * \defgroup TraceSourceList List of trace sources
+ */
+
 /**
  * \defgroup tracing Tracing
  *
@@ -92,7 +96,7 @@
  * from the trace source to the trace sink. For example, UVTraceSource and 
  * SVTraceSource trace sources require two extra arguments. The former requires
  * two unsigned 64 bit integers while the latter requires two signed 64 bit 
- * integers. More generally, users can consult the \ref trace-source-list
+ * integers. More generally, users can consult the \ref TraceSourceList
  * to figure out the arguments which a trace sink is required to receive
  * for each trace source.
  *