# HG changeset patch
# User Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
# Date 1188398538 -7200
# Node ID 179c8e1600e80e61355288a60b267dd59687db35
# Parent  20cbc872b0e92db7654131f62767b581fb5aa95e
add trace-source-file.h to doxygen list

diff -r 20cbc872b0e9 -r 179c8e1600e8 doc/doxygen.conf
--- a/doc/doxygen.conf	Wed Aug 29 16:42:00 2007 +0200
+++ b/doc/doxygen.conf	Wed Aug 29 16:42:18 2007 +0200
@@ -450,7 +450,7 @@
 # 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