diff --git a/doc/doxygen.conf b/doc/doxygen.conf
index 6f4b503d7..ac0f72a0e 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 doc/trace-source-list.h
+INPUT                  = src doc/main.txt doc/trace-source-list.h doc/tracing.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 
diff --git a/src/core/tracing.h b/doc/tracing.h
similarity index 100%
rename from src/core/tracing.h
rename to doc/tracing.h