Index: arch/ia32/include/debug.h
===================================================================
--- arch/ia32/include/debug.h	(revision 3fc03fd55a97ee8c78eecc373fec290d6bd547d9)
+++ arch/ia32/include/debug.h	(revision abbc16e9bc4db4ecd88808e50f3cf7b37cb85310)
@@ -27,4 +27,10 @@
  */
 
+ /** @addtogroup amd64debug
+ * @{
+ */
+/** @file
+ */
+
 #ifndef __ia32_DEBUG_H__
 #define __ia32_DEBUG_H__
@@ -35,2 +41,6 @@
 
 #endif
+
+ /** @}
+ */
+