-* @file dbginfo_t.h
-*
-* @author Goetz Lindenmaier
-*
-* dbginfo: This is a empty implementation of the Firm interface to
-* debugging support. It only guarantees that the Firm library compiles
-* and runs without any real debugging support.
-*/
-
-
-#ifndef __DBGINFO_T_H__
-#define __DBGINFO_T_H__
+ * @file
+ * @brief Implements the Firm interface to debug information -- private header.
+ * @author Goetz Lindenmaier
+ * @date 2001
+ * @version $Id$
+ * @summary
+ * dbginfo: This is a empty implementation of the Firm interface to
+ * debugging support. It only guarantees that the Firm library compiles
+ * and runs without any real debugging support.
+ */
+#ifndef FIRM_DEBUG_DBGINFO_T_H
+#define FIRM_DEBUG_DBGINFO_T_H