Index: arch/ia32/src/drivers/i8259.c
===================================================================
--- arch/ia32/src/drivers/i8259.c	(revision b45c443eb976adbe668a3f855f749cf0ad3a5b3f)
+++ arch/ia32/src/drivers/i8259.c	(revision cc73a8a1c3f4258036feb316078a8f908f7bfe40)
@@ -27,8 +27,12 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
-/** @file
+/**
+ * @file
+ * @brief PIC driver.
+ *
+ * Programmable Interrupt Controller for UP systems based on i8259 chip.
  */
 
@@ -40,9 +44,4 @@
 #include <print.h>
 #include <interrupt.h>
-
-/*
- * This is the PIC driver.
- * Programmable Interrupt Controller for UP systems.
- */
 
 static void pic_spurious(int n, istate_t *istate);
@@ -132,5 +131,4 @@
 }
 
- /** @}
+/** @}
  */
-