diff -r 30aea9ac89bc -r 0578c2e31ed1 src/os_timer.cpp
--- a/src/os_timer.cpp	Wed Mar 21 13:19:01 2007 +0000
+++ b/src/os_timer.cpp	Wed Mar 21 15:19:33 2007 +0000
@@ -1,5 +1,7 @@
 /* $Id$ */
 
+/** @file os_timer.cpp */
+
 #include "stdafx.h"
 
 #undef RDTSC_AVAILABLE