Index: arch/ia32/include/boot/boot.h
===================================================================
--- arch/ia32/include/boot/boot.h	(revision 78a95d6fb3124b0f93e5fee3e3f45ceb1b695df6)
+++ arch/ia32/include/boot/boot.h	(revision abbc16e9bc4db4ecd88808e50f3cf7b37cb85310)
@@ -27,4 +27,10 @@
  */
 
+ /** @addtogroup ia32	
+ * @{
+ */
+/** @file
+ */
+
 #ifndef __ia32_BOOT_H__
 #define __ia32_BOOT_H__
@@ -40,2 +46,6 @@
 
 #endif
+
+ /** @}
+ */
+