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