From 15234069fed92532ee21112c2641bc162dd653e6 Mon Sep 17 00:00:00 2001
From: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
Date: Wed, 29 Aug 2007 16:42:18 +0200
Subject: [PATCH] add trace-source-file.h to doxygen list

---
 doc/doxygen.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/doxygen.conf b/doc/doxygen.conf
index 7d6248d95..6f4b503d7 100644
--- a/doc/doxygen.conf
+++ b/doc/doxygen.conf
@@ -450,7 +450,7 @@ WARN_LOGFILE           =
 # directories like "/usr/src/myproject". Separate the files or directories 
 # with spaces.
 
-INPUT                  = src doc/main.txt 
+INPUT                  = src doc/main.txt doc/trace-source-list.h
 
 # If the value of the INPUT tag contains directories, you can use the 
 # FILE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp