diff -r 9c48301b2e19 -r 48ce04029fe4 src/misc/dbg_helpers.h
--- a/src/misc/dbg_helpers.h	Tue May 06 15:06:19 2008 +0000
+++ b/src/misc/dbg_helpers.h	Tue May 06 15:11:33 2008 +0000
@@ -1,6 +1,6 @@
 /* $Id$ */
 
-/** @file dbg_helpers.h */
+/** @file dbg_helpers.h Functions to be used for debug printings. */
 
 #ifndef DBG_HELPERS
 #define DBG_HELPERS